Hacker News Reader

Couldn't you just turn off FileVault (decrypts the drive), let that finish, then turn it back on again?

I guess that doesn’t remove the master key. Maybe, it also is used as the ID that uniquely identifies the disk?