Right now we'll enumerate and rank fonts in the order basically we get from the system. For fonts of equal ranking we have no order for them which causes different people to get different fonts leading to weird bugs.

this changes us to, given two fonts of equal ranking (which is fairly uncommon), use the one that comes first alphabetically. This should be enough. I'll continue to work on making it even more uncommon to have two fonts of equal ranking by adding more comparisons between fonts at some later point.

This would be worthwhile to test, but it feels like a bit too much pain to make it worthwhile. Somebody change this if you feel otherwise.