[Reiner Steib] [AUCTeX-devel] Re: Changes in font locking