"Mendelssohn's ouverture was about the cave itself, not its name."

So, it's pretty much irrelevant to the discussion, then, isn't it?