I wonder if other option holders will get replacement options when they're inevitably cancelled?
They'd want to announce something big before the meeting but that's highly unlikely. Maybe prior to the next CR...the options would be a perfect option if the need's there but that would be too easy.