On Monday, 25 November 2019 at 16:53:43 UTC, berni44 wrote: > a) Remove bugs > b) Improve documentation I'd add a third: c) improve the installer so it handles properly updating already-installed versions.