Files now seem to be outputted in some random order. Some program runs generate (many) files, where it’s helpful to have the list of files in alphabetic order

Submitted by Elmer van Chastelet on 12 March 2025 at 13:50