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