Reading this made me remember how much I loved TENEX and TOPS-20. Many thanks for the post!