Aux États-Unis, la guerre contre la « culture woke » passe aussi par... le choix des polices de caractères