> Random spotting: I see a "Written by ..." note at the top of
> several files with a name not in the above co-authored-by list.
> If the person quit, me thinks attribution in the list is still
> in order.

> brgds, H-P

Will be fixed. Thank You for noticing that.

--Aleksandar