Published on 2020-08-28.


Minor fixes and performance improvements