[mikeash]

This is just a normal hire, no different than thousands of others that happen every day aside from being a fairly high position in the company and being someone well known in the tech community.