If the feature exists, they should still be mapped.  Unnecessary to some, but not all.   There are users mapping mamholes.  I say unnecessary, but it actaully exists and can be verified, so it should be mapped (or at least remain).

https://www.openstreetmap.org/changeset/140877309