Dany Majard·FollowSep 23, 2021--1ShareYou should check out he TeX to Unicode chrome extension. That'd make your text much more readable.