Document how to encrypt the paging file on Windows