https://wwtyrd.com/tech/romaine/what-is-filevault-and-how-to-turn-it-on-and-off/