He was already an MS employee 3 years ago though (he came over when Xamarin was acquired in 2016), whereas I usually associate those terms started when you join the parent company. Granted, 2016 is not that much longer ago, and it does seem plausible there was some bonus that vested after 3 years at Github, so you could be right.