On Tue, 9 Nov 2021 at 20:01, BALATON Zoltan <bala...@eik.bme.hu> wrote: > But maybe it's too late to change at this point.
Massively too late. We've been using this versioned-machine scheme for over a decade, and the upheaval of changing the way it works now would be rather out of proportion purely to tidy up the list of machines in the help output... -- PMM
