Remove some decorations from AUCTeX