Firefox’s sudden weird font choice and fixing it