竹島

＞観音島の対岸地域が、今なお「石圃」と呼ばれている事実には、逆に「石圃」の対岸の島（観音島）が「石島」と呼ばれたのかもしれない

偶然ではないかもしれませんね。今後、新しい資料が出てくる事を期待しましょう。