Added.
https://www.openstreetmap.org/node/10962214683

@anonymous: We are only a few volunteers trying to cope with the flood of requests.  Adding small items is something anyone can do easily → doing it yourself will be appreciated.

The in-browser editor (named "iD") is easy to use for such trivial tasks.

Otherwise, there are a few handy ways to add small items, e.g. MapComplete (https://mapcomplete.osm.be/) or EveryDoor (Android app).