HTML documentation for miscellaneous utilities 

.