OK to delete?
The depth of knowledge and history, and generosity of contributors on thislist are all extraordinary and greatly appreciated.
Many thanks to all.
Luke Rogers