BUTTON: "theia-mini-browser-button" = 'theia-mini-browser-button'