- revise version hackery per Tomi's suggestion - add hack to clean up doxygen's terrible nroff. Obviously the latter is somewhat fragile, but it should fail gently, i.e. do nothing, if the doxygen output is fixed upstream.