Published on 2020-02-18. Minor fixes and performance improvements