Thank you very much for fixing it! Unfortunately, it's back in version 9.0.90.20200105-0ubuntu1 (tested on AMD64, Ubuntu 20.04). I tried to downgrade to 8.3-0ubuntu1 and then even to 8.2.91.20190405-0ubuntu3. In both cases the bug was there. It wasn't there in 8.1-0ubuntu3.2 (Ubuntu 18.04 LTS).
Thank you very much for fixing it! Unfortunately, it's back in version 9.0.90. 20200105- 0ubuntu1 (tested on AMD64, Ubuntu 20.04). I tried to downgrade to 8.3-0ubuntu1 and then even to 8.2.91. 20190405- 0ubuntu3. In both cases the bug was there. It wasn't there in 8.1-0ubuntu3.2 (Ubuntu 18.04 LTS).