Published on 2020-03-20.


Minor fixes and performance improvements