I just got the tauthon pun. Well done, whoever named it.