I also recently learned he’s deceased.  Comment redacted.