Dear all, the new release 0.8.2 was just tagged. It is a bugfix release, that fixes a number of issues, amongst them two security vunerabilities CVE-2020-8002 and CVE-2020-8003. Thanks to all who have contributed to this release. best, Gert