Tips of the day, a collection of hints that help people discover new IDE features.