It's pretty typical for a CEO of a major tech company to have some kind of quirk in their behavior that is nonsensical but insufficient to ruin the company given its luck, etc.