It took us a bit to get our GG19 funds out, but we were eventually able to convert the funds to ckETH.  With the funds we created a bounty at https://icdevs.org/bounties/2024/02/09/evm-opcodes-and_precompiles.html and we have found our first bounty hunter! The project is under way and we are seeing to raise funds for the next phases of our Motoko EVM in GG20.