A cross-repository administration tool for the local authoring in MathHub.info