Add a comment about something that occurred to me when fixing the ^C-during-DECgraphics-output situation several days ago. I don't think there's any compelling reason to avoid this optimization, but this only describes it without actually implementing it.