Glad to live in the age of the internet wherein people like yourself casually post small history lessons about the early days of the internet. Thanks, btw.