Goodbye, Randy. You’ll be missed. Randy was one of the few old-timers left from when we were both writing on Usenet ten years ago. I can sympathize with his feelings, especially when it comes…