There has been no further discussion on this. Robert’s proposed option C basically postpones the decision to a later moment when the need (or lack thereof) for reminting those tokens is much clearer, so we will go with that.
At any moment a DAO proposal can be started to re-mint the tokens (up to a max of 250m), making the total supply of $ease tokens 1 billion. Until that proposal is made and passed by the DAO, the total supply with stay 750m, the same as the current $Armor supply. At no moment there can be minted more tokens than that, irrespective of DAO votes.
Thanks for your comments and participation!