These are legit I think, on docs.puppetlabs.com they get converted to html.