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