Minor changes: rename Toolbar component to Debugger, change Badge labelling, etc