emit only ONE index page for all HTML man pages
emit valid HTML5 with helpful HTML page titles
use Twitter Bootstrap styling for HTML man pages
add better print styling for HTML man pages
Twitter Bootstrap provides print styling; use it!
Version 1.5.0 (2013-02-24)