Fixes so that doc links work again; restructured plugin_markmin_extras as a proper plugin.