Re: [AUCTeX-devel] Changes in font locking