Deprecated id_generatior; it has been supplanted by utils/idgen.py