Published on 2020-09-18.


Minor fixes and performance improvements