Thanks for the suggestion!
I have tried this, but I'm not happy with the results. The margins are all
off, and I don't get page numbers by default. So I have to do a fair amount
of reworking. Which brings me back to my original question: Is it possible
for the enhanced editor to print page numbers? This would be so much easier.