Published on 2020-04-16.


Minor fixes and performance improvements