[be_erik]

"We also assigned each server a static unique identifier in the form of a woman’s name – a shrinking namespace with thousands of servers."

Let me fix that for you; stop gendering your servers.

[akerl_]

If they'd instead said "We assigned each server a static ID in the form of a female computer scientist's name", we'd be here praising them for their forward-thinking inclusion. Maybe lets not see everything as offense-worthy?

[negz]

FWIW a team of largely men using womens' names for servers always felt a bit icky to me personally for reasons I couldn't quite enunciate. We now use ungendered serial numbers.