Stephen Hawking getting divorced?

The story from Yahoo News[*1] :

LONDON – Renowned astrophysicist and best-selling author Stephen Hawking is getting a divorce, according to media reports Friday.

British newspapers reported he and his wife, Elaine, have lodged divorce papers at Cambridge County Court.

I didn’t even know he was married!  Well, I guess it just goes to show . . . (that’s just one of those phrases people throw out, you know?  It doesn’t really go to show anything, it’s just, you know, like, a kind of thing to say, you know?)