serverminitopic: remove this extension, please use regular topic extension With the introduction of topic namespaces, it seems no longer viable to add features and cover them by tests in multiple extensions (i.e. both topic and serverminitopic). We suggest users switch to the regular evolve and topic extensions on the server side.