Updated documentation about using the debugger