Yes! I really see the contrast between proofs DS types for his AoPS course and the ones he recently submitted for a competition where things have to be handwritten. Questions not that different - but the handwritten ones show his age, where for the typewritten ones I find myself wondering whether the AoPS staff will think I've done it for him. I was wondering whether, as well as the things already mentioned, part of it might be that when it's typed it looks like the kind of thing he sees in textbooks etc, so he words accordingly.