I remember the market was shut for an entire week, but I wonder what happened to the weeklies that expired that week. Like if you had puts that week and were set to make a killing, did they just kill your options and let them expire without giving you a chance to get out? or did they extend all options a week?