Published on 2020-08-31. Minor fixes and performance improvements