I agree, and thanks for following up on the old discussion; I remember surveying it after I wrote that message but it felt into the ghost pile of all the things still waiting to be mapped.

Fixed here.
https://www.openstreetmap.org/changeset/150611861