Check out what wikipedia says about these little guys:
“They are sometimes caught and fed to pets such as iguanas and other lizards, but this is not recommended since those animals might become poisoned”

And maybe it’s a regional distinction, or just random, but some people seem to use “doodlebug” for these guys – and some people use it for the antlion larva, like you said. I only knew them as antlions.

And, frankly, I had no idea the antlion was the larval form of a flying creature. I just loved how pre-historic and alien they look – and how cool it is how they create those sand traps. Haven’t seen one since I was a kid.