Published on 2020-11-12.


Minor fixes and performance improvements