Name contest for the new OS is over

[Douwe]

@paulakreuzer

@douwe’s post seems to me like the decision is final (correct me if i’m wrong), so it makes no sense to add further suggestions.

The decision in indeed final, but we can leave the topic open to discuss it further and if people have questions about the decision.