Chris Rock filed for divorce. The Washington Post had fun with the headline.