I read the title too quickly, assumed it was some German guy named Auf, then realized I was an idiot a few minutes later.

Hell, I don't know the name even after I checked the article. I've never heard of him before.

Yes, I also thought Satya Nadella was stepping down from his role as CEO of Github.