The Washington Post reports it, even if not on the front page.