A(nother) HTML generator for RDoc