Comments in ACE editor are now brighter red, for visibility