formatted manual pages for the groff family of text formatters