Update debugger documentation