@kingkaufman It's now the lede on the WaPo home page. On weekends, sites are sometimes a little slow to react.