note They're the same. I'm aware there is already a proposal to merge them, but the other proposal wants to merge them into just "Dantetsu". It would be better to merge them into "Datetsu | Etomon Sanjuushi", so that we have both names for easy indentification. And also so that someone doesn't make a "Etomon Sanjuushi" tag in the future.