Thanks for the link.

I've bumped into Mike a few times at Facebook; he's one of the most knowledgeable people I've ever met.