Published on 2020-06-11. Minor fixes and performance improvements