... which is already mapped since March 2022: https://www.openstreetmap.org/node/9583646935
Please don't just look at the map "image". Not everything is being rendered. Check raw data on osm.org website with menu at the right: cursor with question mark icon or layer (3 slices) icon and then checkbox to see data.