OK. This is a long known issue and a bug report has been created for it: Unable to set lock pin for Android apps requiring it. There has been no recent developer intervention in that thread, so I’m afraid there will not be any solution soon. That’s a real pity.
2 Likes