Oh no, don’t worry, he’s pretty darn cool. Just a bit too busy, what with the 3.0 release, which would have anyone running a bit ragged. The commit log shows that he and a colleague updated the docs. So in that regard: thank you very much for pointing out the mistake!
Good for you! That should make a nice start to the weekend, no?