Precisely, @wardmuylaert.

I added the future name as proposed:name (see https://www.openstreetmap.org/changeset/100701272)

The new name is expected to be changed somewhere around October 2021.

We can close this note for the moment.  Not to worry, there will be plenty of media coverage when the name changes officially.