DebugProxy: more help