Lessons from Worldcoin