Digging Baby Name Guesser. Says here, “It’s a girl! Based on popular usage, it is 4.373 times more common for Doc to be a girl’s name.” Hm. I can think of Rivers, Holliday, Watson and the Dwarf. But not one girl. Yet.
Check the results for Festus.
Hat tip to Leonard Lin.