Released 24/07/2019This is essentially a bug fix release, fixing a number of issues with the previous release.