In a normal year, today would have been the last day of the State Fair of Texas.