ph2thomas: remove --full-enumerate