progressr: An Introduction

Authored by:Henrik Bengtsson inprogressr 0.15.0.
Source:progressr-intro.md, Vignette:progressr-intro.html. Last updated:2024-10-29.