no, it should be removed in `easyconfig.py`, since the list of mandatory parameters now depends on the easyconfig format version...