The new Release 20.03 is out! You can download binaries for Windows and many major Linux distros here .
Jens, when will you commit this patch. I used it for more then a week now, all seems to be fine.