What's the percentage of users who manually change their font size? Is it the majority? Because if it's not, then I'd hardly call it "useless."