HTML documentation like htmlify.p6