Thanks for the Note. :) Looks like it was already added 2 years by you in:

- https://www.openstreetmap.org/changeset/125576105

I adjusted+added more to the area too:

- https://www.openstreetmap.org/changeset/152178118