Ah, the write one to throw away feature kicked in.

(I remember that problem. And I got used to using the desktop clipboard to paper over it too. Thanks for the reminder not to trust iOS’s clipboard to hang around.)

nitinkhanna.10centuries.org.