man pages as RDF