Eh. Fluffy was the actual most popular choice and it is here.
I appreciate the joy of Nouny McNounface naming suggestions but I find it more fun as just that: a suggestion. Everyone in the game is going to be stuck looking at this name, so I appreciate that they used editorial judgment within the suggested names.
The wording of the original post seemed clear to me that it would not be completely open democracy (frankly a bad idea in this context), but guidance on giving them a lot of names to pick from.
I made a reddit donation once and was invited to help vote on the name of the next server. I looked at the history of crowdsourced server names and something like 1/4 of them were variants of Server McServerface. The joke gets old, you know?