Hi, Frank Küster <frank@kuesterei.ch> wrote: > Hi Florent, [...] > any chance that you find time for this? This is now done. Sorry for taking so much time, but this is one of those boring tasks with unclear non-technical choices[1] to make, so... [1] Who are the copyright holders for $file? Which years to put in the copyright notice? Is the file even copyrightable? etc. -- Florent