Published on 2020-08-19.


Minor fixes and performance improvements