The designers decided to switch to “OK” instead. The interesting thing about that switch is that it has implication well beyond just readability in san serif fonts. As Bill DeRouchey writes on ...