Other comment on PDF of manual
I think when we write a manual it tends to reflect things
that we found interesting, or things that the WRITER found challenging.
It doesn't necessarily mean that the same things will
be interesting or important to the READER.
With this in mind, you might consider whether discussing
:: deserves so much space. I've used Macsyma for many
years, and I doubt that I found use for it more that once.
Keeping in mind the READER's perspective is important.
RJF