Removing existing common names that are deemed confusing

Well if you look at observations, L. claviger is about 3x more observed than interjectus (although low-quality worker observations are hard to go past subgenus on), and encompasses most of the range of most Acanthomyops observations overall. If you look at the queen observations under the Gyne(s) present? observation field, in which identification is much more consistent, you can see that claviger is about 5x more seen than interjectus. I just think that “smaller yellow ant” has a similar problem to “little black ant” in that people might type in “yellow ant,” although certainly to a lesser extent. Unfortunately Ants of Florida’s names for the species are a bit ridiculous, so I’m against using those (“Hairy Yellow Underground Ant” doesn’t work much better…), and I don’t know of any other established alternatives.