HTML documentation for miscellaneous utilities