4 ms·He's still around, I think. His homepage was last updated 2023.05.by hiAndrewQuinn 3y agoHe's still around, I think. His homepage was last updated 2023.05.