Thanks to everyone ...

... for the kind words about our friend's death. They are deeply appreciated.