There's a peak named "Buckton Moor" here tagged as https://www.openstreetmap.org/node/30000411 with source=npe.  It seems weird to map something in the middle of a hollowed out quarry as a peak, but the source=npe suggests it might have been historically before the quarry opened.  I guess it makes sense to tag the nearby area (outside the quarry) as Buckton Moor but not to tag it as a peak here any more.  What do other mappers think?