You are certainly right. However I am under the assumption that you only mine where electricity is cheap. If you are not stealing it, there is only nuclear, wind, water and sun produced energy left => Miners are kind of forced to use environment friendly energy.

It's better for the environment if we build expensive cables to send that power to areas still emitting CO2, instead of selling it cheaply to miners. At least up to some pretty large distance.

There's a case to be made for using the spikes of solar power to run miners, on a grid dominated by renewables, but that requires the economics to work out just right with very cheap silicon that can sit idle a big majority of the time.

Yes, germany is already doing that with electric cars. I have a Wallbox in our garage, with seperate electric because it is sadly 300 meters away from our house. So I can't use our solar. However this connection is terminated via GSM when many people are using the grid. This is usually around morning and evening. If the grid isn't exhausted they will turn the electricity back on. I really like this approach. It works well.

It would be nice, if this would be mandatory for big official mining operations. Pretty sure they would just move somewhere else but still.