this should fix the highlighting failz with non-lowercase player names like the one CheezeMonkey ran into.
there is a workaround: in the user dir put the playername in <playerNameWithCorrectCase>_highlight.txt
Added tag 0-9.17-release for
changeset 4670f003f91b
Only make AI avoid damaged dead mines and dangerously smoking barrels once the attack is finished.