Or a fix is merged - lavaland gas mining has officially been removed because of the proven negative impact it has on server performance (and the fact it’s an additional nail keeping our economy in a coffin doesn’t help)
Gonna lock this until headmins reach an official decision.