Just checked my copy, and although it doesn't directly *state* that *Coloradisaurus* is intended to replace *Coloradia*, the index does have *Coloradia*=*Coloradisaurus*.
> And the teratosaurids were in there... I was quite surprised to find no > trace of them in the 1993 follow-up