On 04/09/2016 03:37 PM, Eli Zaretskii wrote:
>> From: Clément Pit--Claudel <clement.pit@gmail.com>
>> Date: Sat, 9 Apr 2016 14:59:39 -0400
>>
>> Should I open a bug report about this?
> 
> If you have a patch, it would be more efficient to just post it.

I don't have one, unfortunately; I think you understand the issue better than I do :) 
You mentioned turning a call to font-lock-default-fontify-buffer into font-lock-fontify-buffer as a potential solution earlier in this thread. Do you want me to make a patch that does this?

Clément.