Joost van Baal-Ilić Wed, 22 Jul 2020 13:15:14 -0700
Hi Matthias, Thanks for this detailed report. FWIW, upstream has been made aware and acknowledged the problem.
Bye, Joost