Is there any info on when FUN withdrawals will work again?  I tried again today and it still says it is down due to the Ethereum merge.  There was no notice when acquiring FUN tokens on the site that there would be no way to withdraw them.