Are dictionaries included in software (e.g. keyboard typing/autocorrect) known to include names of mythological figures, if so how many and from what pantheons?