This is precisely the kind of token I'd be swapping into from ETH, but the high gas fees just stop me.

Have they sorted out the mining thing yet?