Undo most of a48fc0f and instead fix ec8c0e0 to properly handle rabbit chase games.
Ignore generated HTML man pages.