Fine in this case; not so good for paper.pdf or setup.exe! It's not the end of the world, just a minor annoyance, of a type I'd seen before, that (having 5 fre

Fine in this case; not so good for paper.pdf or setup.exe! It's not the end of the world, just a minor annoyance, of a type I'd seen before, that (having 5 free minutes while in the middle of something) I felt moved to comment on.