Paperproof: a paper-digital proof-editing system