formatted manual pages for debugging utilities

.