PREVIOUS: "theia-mini-browser-previous" = 'theia-mini-browser-previous'