When cave divers were made of steel and ladders made of wood etcThought so.
Interestingly my uncle once dived that sump. The two of them rigged it on ladders and carried the gear in. Carrying rope was all too much so they didn’t bother with lifelines. Days of yore.
It’s a tricky site to make progress at without likely having to leave it rigged really. Without a huge amount of support anyway.