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?

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.