Script Summary: Hightlights the Contacts label in Gmail
Please don't install this script any more.
Since Google updated Gmail's UI, and the Contacts label is pretty intuitive, this script is now useless. Personally I like the new look of Gmail.
Development and support of this script are discontinued.