@galaxis@mastodon.infra.de It will be more and more difficult to find catchy names. May be the US military could help, they have a taste for clever names.