Make the Web menu entry launch the user's selected default browser. Make running "browser" from the shell launch the user's selected default browser. Install a new menu item labeled "MicroB" that can be used to launch MicroB no matter what the default browser is set to. Install a new "microb" script that can be used to launch MicroB no matter what the default browser is set to.