Since existing claimants will already receive more tokens than they had originally anticipated, we’ll be voting for Option 4 to maximise the amount of tokens that can be distributed to other SafeDAO initiatives.
If Option 4 (or 5) goes through, we’d recommend Allocation B tokens to be distributed to grants / ecosystem rewards (raising the allocation above 7%), which allows other potentially valuable contributors to SafeDAO to receive allocation even if they missed the airdrop.