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