Thanks Bastien! I've tested this out and confirmed it works, and didn't notice any side effects.

On Fri, Feb 14, 2020 at 6:02 AM Bastien <bzg@gnu.org> wrote:

Hi Andrew,

thanks a lot for the minimal recipe! Very helpful.
I confirm the bug and I have now (finally) fixed it.

We can close this bug from... 2013 :)

Best,

--
Bastien