laura (05/20/82)
If your document uses the last page of line-printer paper, please inform a hack if you do not know how to change the paper. This cannot be done automatically -- it requires manual labour from an informed person. thanks, laura