Mathieu Lirzin wrote:
IMO it is important that<https://www.gnu.org/licenses/gpl-howto.html> reflects that change too. AIUI this page serves as a model for GPL license notices.
Yes, that would be good. Unfortunately I don't know who's in charge of that URL.