Published on 2020-06-15.


Minor fixes and performance improvements