Update documentation for PrintFormatter to use <pre> tags.