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