Re: font-lock-after-change function unbearably slow; Ben change?