progressr: An Introduction

Authored by:Henrik Bengtsson inprogressr 0.14.0.
Source:progressr-intro.md, Vignette:progressr-intro.html. Last updated:2023-08-10.