Included commented code for the broken AUCTeX advice