A pager for text files in RFC format