RUNOFF to troff translation?