Awesome! We've changed the URL to that from https://www.cs.cmu.edu/~bam/papers/vltax2.pdf above, and have bumped the year from 1989 to 1990.

Awesome to see you in this thread too!