Stefan Kangas <stefan@marxist.se> writes:

> I also believe that you will want to revisit the decision to use it once
> this bug is fixed: it is a bit of a sledgehammer and can lead to
> undesirable results (slowdowns).

Yes, looking forward for a real fix.  Thanks.

-- 
Thierry