[isthatafact]

I inferred from the article that the risks are very poorly understood. If it just triggers a bunch of very minor earthquakes, that would be insignificant compared to potentially preventing a civilization-ending eruption.

Maybe learning more with simulations or theory is a good way forward, or maybe small scale experiments. If we do nothing and eventually notice that a giant eruption is about to happen, I suppose it would be too late. There seem to be many similarities in long term risk and possible prevention of asteroid impacts. I think these problems are worth exploring even though there is probably no direct benefit within a human lifetime.