@Chignon: Replying to this edit, yes, I am sure that the OED mentions the etymology that I added here. — Eru·tuon 20:41, 23 April 2019 (UTC)Reply
