Is football (and vindictiveness) actually Congress’s business?