To shorten college football games.