anyone remembers back when hyperliquid first rolled out, didn’t @Pixelmon purchase the $MON ticker? how did it end up being the ticker for @monad? feel like i missed something. ...