How about they get distributed among the miners who lost out rather than taken out altogether? there are not many coins you know...

Compensated thank you devs!