fix in repoJSONmaker.py: use "even" disabled plugins !