Thank you. I saw that there's a wealth of other docs from Symbolics at archive.org. I will spend some time exploring.<p><a href="https://archive.org/search?query=creator%3A%22Symbolics%22" rel="nofollow">https://archive.org/search?query=creator%3A%22Symbolics%22</a>