Just a thought
Herichthys carpintus are not from Texas
Herichthys carpintus is really not more green than cyannogurttatus (at least to me)
so as a nickname, (and that's basically what common names are, there's nothing technical about it)
its only reality is that it looks similar to Herichthys cyannoguttatus, and to me, this makes it a very poor choice for a common name.
It leads to misidentification, and worse hybridization.
Just look at all the confusion with th "red terrors" .