texinfo documentation for debugging utilities