Tex2002ans
Thanks for the Note. Looks like it may have been added back in 2021:

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

But I added more info + did some updates to the surrounding area too in:

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