On 2017-01-12 12:04, Glenn Morris wrote:
> Clément Pit--Claudel wrote:
> 
>> I posted a potential solution in a previous message,
> 
> You mean the same one as in https://debbugs.gnu.org/24223 ?

Yes; thanks for tracking that reference!