Suggest reproducing highlighting errors in text editors

This will make for more useful upstream bug reports.