Published on 2020-07-23.


Minor fixes and performance improvements