doc: revisions to modules/webdebugger.py