Contributors to 2016-01-30 Dimming out tildes in AUCTeX