I had a lot of fun hacking qed, mostly side-by-side with Tilbrook, who was its biggest fan. He taught me a lot and I loved working with him.
Woking with David was great and always inspiring. I used to have an early version of his QEF system which did QED on it. He never stopped tinkeing with that. Alas, the tape got lost in one of my relocations.