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

(binary:image/png)