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