Not really. Money seems to be a universal proxy. I guess we need to acknowledge that 54k GitHub stars has some sort of monetary value (Web3 anyone?), and then it would be obvious that you couldn't just delete it, because who would want to just delete money?

He said "somehow". I think he also believes there isn't an alternative.