Sorry, the manual contains no entry named &quot;<b>DEV_GuiDebugger.3</b>&quot;.