My first thougth too - they obviously did not have anyone who thinks Beavis and Butthead is funny review that choice of names!
I don’t think there is one. I just made it up.