https://wwtyrd.com/tech/romaine/what-to-do-if-you-forgot-your-filevault-recovery-key-for-mac/