I actually stopped using it a few years ago because of a weird glitch I kept encountering where it would forget how to render non-standard symbols on websites (I forget the technical description, it’s been years). Sites like Twitter became neigh unusable because I couldn’t tell what any button was.

With all the recent problems, I know I want to switch back. Just haven’t had the time and patience to do it.