>>>>> On Thu, 17 Dec 2020, Mike Gilbert wrote: > Should I also drop the explicit copyright notice? >> Copyright (c) 2013-2019 by Robin Hugh Johnson, Andreas K. Hüttel, >> Marissa Fischer, Michał Górny. I think that a GLEP shouldn't have such a notice (after all, authors are listed in the GLEP's header), but you cannot remove it without permission of all authors.