On 2/25/14 11:40, Paul Eggert wrote:
> On 02/25/2014 01:47 AM, Dagobert Michelsen wrote:
>> Shouldn’t the transformation be
>> applied to all occurrences?
> Yes, I think it should.

After eight years I got around to implementing this (since nobody else 
wanted to :-) and installed the attached. Something like this should 
appear in the next gzip release.