There are two ways to work through this problem: one doesn’t require restarting, so I recommend that one first, of course! You need to fix permissions in your Home directory with an extra Terminal step at the end. I get the message: “The document could not be exported as ‘name.’ You do not have permission.” Since updating his Mac, he can’t save files via Save As.