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.18-release for
changeset 2f203395baca