MSTR is the focused short; broader market short was premature but the MSTR-specific bet remains active