@[email protected]’s comments were deleted in a thread I was just looking at, and I went onto their profile and it also appears to have been deleted? Anyone have any knowledge about them? It’s sad if we’ve lost such a long-time excellent member of this community.
Left. The comment linked by @[email protected] provides more explanation.