On 2024-08-06 11:21:50 [+0200], Jerome Brunet wrote: > I have tweaked #1 and added a few tags but the gist remains the same. > I was going to add you under 'Suggested-by' but maybe putting you as the > actual Author would be more appropriate. > > What do you prefer ? Suggested-by is fine. Sebastian