Search for: "Comments on 2016-01-30 Dimming out tildes in AUCTeX"