OK, though I'd have just continued here. 

No problem.  Let me close this one then.

On Wed, Jul 1, 2020 at 11:45 AM Dario Gjorgjevski <dario.gjorgjevski@gmail.com> wrote:
Hi João,

Thanks for getting back to me.  I have identified the culprit and filed
bug#42149 in an attempt to fix it.  Please have a look there!

Best regards,
Dario

--
dario.gjorgjevski@gmail.com :: +49 1525 8666837
%   gpg --keyserver 'hkps://hkps.pool.sks-keyservers.net' \
\`>     --recv-keys '744A4F0B4F1C9371'


--
João Távora