Published on 2020-09-25.


Minor fixes and performance improvements