The experts on FYI gave different answers. @apruden08 and @dpuellARK would redistribute them to the end of the supply curve to strengthen miner incentives long-term. @nic_carter would leave them and hope America gets there first. No clean consensus, which is exactly why the Bitcoin community has no