Yeah, but there’s still Hercolubus... ;-)
That’s another name for it, I think. The multiplicity of names is very confusing.