https://tongfamily.com/2017/06/18/when-filevault-forgets/