If you set Detect Mines to Hide (or detectMines = 0 in your profile file), the setting is ignored and your player will still call out mines that are nearby.
In addition, if you set Automatic Reporting to Hide (or autoReport = 0 in your profile file), the setting is sometimes ignored. Unlike, detectMines, autoReport is partially followed, and the report of a spotted enemy is random.