https://kottke.org/10/03/new-nfl-playoff-overtime-rule