Contemplating on using a normal 6-digit pin as I will already be protected by the secure element’s brute force throttling. Thoughts on why I should not do this and consider a passphrase instead? Do the keys for FileVault encryption perhaps depend on the password and therefore a passphrase will be a better option?