So last night was the end of the NFL season