Sounds like the culture in the CMU CS department was pretty great.
Thank you for sharing this historical gem with us.