This still would require changing the meaning of this allocation. I do think what you just brought up is important, and it is much aligned with another proposal I’m currently building up. This one is related to the old dApp Staking v1, v2 wallet that cumulated unclaimed rewards from the first iteration of dApp Staking that have never been claimed and are currently not claimable anymore since the release of dApp Staking v3.
It currently holds around 20M ASTR tokens that can go to those dApp stakers. Keep your eyes on this forum. I’ll share more about this soon 