Thanks for your reply. I’m very doubtful, and have removed it in https://www.openstreetmap.org/changeset/173536594. It doesn’t fit with any of the local naming etymology, and nobody on https://ukcaving.com/board/index.php?threads/a-gragareth-mystery.32857/page-2 had any idea either (and those people like figuring out names).