By the time Gates did step down officially, in June 2008, his departure was practically a nonevent.

• 盖茨正式辞职是在2008年6月，当他的离开的时候没有任何波澜。