FWIW: The league told the Redskins that, yes, there should have been a pass interference penalty called on the deep ball to Josh Doctson. That will not make anyone feel any better.

— John Keim (@john_keim) November 20, 2018