No, I don't do options... so I'm foggy about what "net short gamma" actually means.
What is not in my bag of tricks... is "allowing any position to run against me with the hope of it reverting to the mean to save my bacon". Many times it does. Sometimes not... and can have catastrophic effect.
Those Shortsellers.com guys could have covered their put positions or bought calls to offset and limit their losses... but they wouldn't "take their lumps"... didn't want to book that loss. And look what it cost them! Rookie mistake. (How does one make such a rookie mistake after having been in the markets for 30 years?)
Did they have time to cover? the price shot up in the matter of days or hours?