How to Mine Asteroids?/Effects of Storms?

[Barnacle Bill]

I've found what appears to be a bug in the code related to remote mining. There is a parameter in the settings.txt file for whether asteriods are depleted by remote mining. I set this to "False". However, they still deplete (1% per turn).

In the in-game setup, I do NOT have "finite resources" turned on, and colony planets do not deplete.

I am aware that changes to the game files do not affect saved games (apparently all the data from the files at the time the game was set up is stored in the save game file). To test changes to the text files, I relaunch the program after editing the file, then start a new game at high tech and play a couple of turns to test.

Other changes to settings.txt seem to work (max systems, for example). It is just this one concerning remote mining that doesn't (so far).