In any case, names really should have their own scaling rather than having to try to get them right by scaling the whole UI. If what we want to change is the size of the names, then let us change the size of just the names.