Sending this as a new bundle, but see patch1779.
1 patch for repository http://darcs.net/screened:
patch 3a1c5c2e1dd89bc60a84bae13d80c2a14f98d8f3
Author: Ben Franksen <ben.franksen@online.de>
Date: Mon Jul 29 18:56:30 CEST 2019
* add a constant for the progressRate