Thought: Convince Eric to rename Fedimint to Chow Mein Mint to out-do Cashu's witty name.

😜