mariotomo
hi. would you mind also commenting this same thing on the changeset that introduced this name? https://www.openstreetmap.org/changeset/17225512
it's an old edit by a local mapper, but he's still around.