On Tue, 2021-10-12 at 11:12 -0700, stan via users wrote: For what it's worth, I find "dnf" a bad name. ;-) Working with some sporting competitions, I know "dnf" as meaning "did not finish."