Extended the debugger documentation with a 'tips' section