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.