Hi! This is a bit of a side note. If you are interested in the history of the OED, I highly recommend this podcast: https://www.zeitsprung.fm/tag/oed/. It’s made by two historians, who not only tell you how and why the OED came about, but also throw in some fun stories about the people that had to do with the production. I hope it is okay to create the thread in this position.