documentation: moar better with HTML