L.S., How and where can I get the Maxima manual (for preference as an PDF-file) ? Thanks in advance. Regards, Joseph Simons