"Users are geeking out over the accidental cave discovery, debating the quality of cave tourism, and cracking jokes about everything from Marvel lore to 'oysters' (a pun on the Korean word for cave)."