Jimmy Song, a popular Bitcoin Core developer, tweeted to make it clear, "The rumors are true, my hat was auctioned off for the Satoshi Nakamoto Institute coffers. 0.25 BTC for a whole bunch of other stuff, including my signed book, @saifedean's book, @ToneVays's hair, a BitBlockBoom shirt, and a @nvk's coldcard v2. Gonna have to buy a new summer hat."
Source: twitter.com