On Mon, Jan 09, 2023 at 08:00:38PM +0100, Torbjorn SVENSSON wrote: > > > Feel free to do it if you have time right now for it or I can try to take a > stab at it in a few days.
Actually it is probably better if I do it in any case, as gathering which command lead to a given file name is gonna be difficult. -- Pat
