texinfo documentation for debugging utilities

.