[gwern]

What I thought was, 'do none of them read his blog?' But I suppose they all know already, and that is just the 'official' announcement.

[w1ntermute]

Well, given that it was at the bottom of a long, tech-heavy post, I wouldn't be surprised if his family members missed it.