To Cliff and all the other contributors and their families: a very happy Christmas and a good New Year.
Thank you for such an interesting thread, and thank you for starting it, Cliff.
It has everything, history, personal stories, technological stuff. Brilliant!