The previous version (5.7.32) of Mines did not auto-update to x2 number of workers.
Only the newly created Mines have x2 number of workers.
Thanks for letting me know. I won’t fix this since that only affects some mines in old saves and soon enough the majority of people won’t play on old saves anyway.
That being said, you mentioning it could be useful to other players who read this.