just for the record: it was not meant to kick out `make_module_extra_extensions`, it just felt more natural to have this function.