@Tutanota I believe that a "system independent" PIN lock would be a nice option to have, just in case your device credentials have been previously compromised, rendering this system PIN/biometrics useless. Am I being too paranoid?