(#3924) Document fix for binary user data files.