Lazily load semtools plugin
While Morpho has a good framework for developing and loading plugins for the application, it does not have a way to enable/disable plugins that are installed. Nor does it have a mechanism for installing or upgrading plugins on an existing installation.
I think it's unlikely that we'll get to the install/upgrade phase, but I think it would be nice (as does MOB) to have the choice of enabling the annotation menus and tables so that it's not always in your face.
I suppose this would be controlled in something like a File->Manage Plugins... action.
Ideally you would not have to restart Morpho after changing the plugins that are enabled, but I think it could get ugly if not (menu bars, for instance).