[dnanian]

I don't know what Time Machine does with FileVault: I don't use FileVault.

Note that SuperDuper! also needs you to log out of a FileVault account before you back up its host drive. We can, of course, back up the mounted FileVault volume itself (it appears in the source pop-up), but that's a different thing entirely.