On Tue, 4 Jul 2023, Zoltan Somogyi wrote: > Would anyone object to removing the old code from file_names.m? No objection from me. > The last change to it has been 13 days ago; has anyone found any problems > since then? I haven't found any. Julien.