Right. But my subsequent search for the etymology of the name "
Anton, son of
Heracles" or then "Antonus, son of
Hercules" was not successful, and neither did it lead to a hint about the origin of the "priceless" folk etymology.
Some more speculations can be found here:
http://forum.wordreference.com/threads/origin-of-the-name-antonia-antonio.2375252/