Martin's Cave
... that Martin's Cave is named after the man who found it when he fell off the Rock of Gibraltar?
... that <b id="mwEGw"><a href="./Martin's_Cave" id="mwEG0" rel="mw:WikiLink" title="Martin's Cave">Martin's Cave</a></b> <i id="mwEG4">(pictured)</i> is named after the man who found it when he fell off the <a href="./Rock_of_Gibraltar" id="mwEG8" rel="mw:WikiLink" title="Rock of Gibraltar">Rock of Gibraltar</a>?