Thanks for the detailed bug report. As you noticed, this is upstream bug #42838, and is fixed in the upstream release 4.0.1. Merging the 4.0.1 release (which is already in Debian testing) into the Ubuntu archive will fix this bug.
Thanks for the detailed bug report. As you noticed, this is upstream bug #42838, and is fixed in the upstream release 4.0.1. Merging the 4.0.1 release (which is already in Debian testing) into the Ubuntu archive will fix this bug.