Published on 2020-06-08.


Minor fixes and performance improvements