Sorry, Bernard, I should have read your post but I missed it. You have many of the facts.
Also you are correct about the discoverers, Davy was the one whose name was accepted.