@whitequark After not being able to reach him for years (turns out it was his spamfilter) I'm back in touch with him now, so at least he's alive :)