this MR outsources some stuff of the sphinx extension to a dedicated python package, namely mde-sphinx-ext