I would like to increase the PIN length for App Lock. (I use AVG AntiVirus Premium on my Android phone.) These days, a 4-digit PIN just doesn’t seem good enough. Ideally, it would be optional how long to make the PIN, say anything between 4 and 8 digits. Then each user can decide how much they want to balance security and annoyance. Thanks!