Revise documentation of debugging tools.