Another thread which introduces a different mint, cashu: #73445