Unix Man page editor with HTML5