As a long time "silent" user, I'd like to send a HUGE thank you to whomever uploaded the full Tex series from Simulmondo. I've been looking for the damn thing for like 20 years.