documented the check-debug-info tool.