On Jun 8, 2020, at 10:28, Christoph Berg <myon(at)debian(dot)org> wrote:
> I left a comment in the github issue.
Thanks Christoph!
D