[dnanian]

Yes, the old FileVaulted user folder is backed up - but it's backed up while it's inactive, safely saved on the drive, which is the point.

If you back up a FileVaulted user when you're logged into it, the FileVault is open, active and being updated, and thus more likely to cause issues.