Remove obsolete control panel tools tab

Now we’ve got the export button instead
Slightly improved styling for plugins tab
Improve import logging
Release note update
Enhance tabbed toc macro with navigation control

Now there are two variants of the macro: the default one opens links
externally, the other opens links internally