I don't think the Hellbenders are referred to as mudpuppies? It's Necturus malacosus and sometimes other Necturus species that get that common name. I think it's just sloppy research by the author of the article?
Mudpuppies are cool though, I do agree with that.