

I don’t remember the font being changed for DEI reasons. I remember them leaving Times New Roman because some high schooler went viral with math that showed how much ink would be saved by using a sans serif font.
edit: Did some digging. It was the DOD that switched to Arial ~2013.














you can go into your history and delete things you don’t want the algorithm to use