On 2017-04-16 03:48, Eli Zaretskii wrote: > So I've reverted part of the changes introduced during fixing > bug#17125, and I'm marking this bug done. If these changes cause some > trouble, we will have to debug that when the problems are reported. Wonderful; thanks. I've confirmed the fix. I'll be happy to help debug any issues that pop up. Thanks again for your patience and dedication. Clément.