The users of the servers need never be burnt by the cutesy names and can remember them easier. So it seems not so clear cut what's better all things considered,

The users of the servers need never be burnt by the cutesy names and can remember them easier. So it seems not so clear cut what's better all things considered, especially as the ratio of users to operations folk increases.