There's less profit, yes, but you'd halt diamond mining, which may have important human and environmental gains. Furthermore, it'd help redirect a lot of money

There's less profit, yes, but you'd halt diamond mining, which may have important human and environmental gains. Furthermore, it'd help redirect a lot of money in other directions. We're all stardust anyway. Perhaps someday that might be enough?