On last boost from @elisehuard

Naming is hard. I onced named a toy project after a singing dragon from children's TV. 15 years later, I see people talking about it seriously on the internet as if it's a proper thing...