Published on 2020-04-07.


Minor fixes and performance improvements