OK. CHM was able to find the manual and now it is online: https://www.computerhistory.org/collections/catalog/102638857 No option to download, unless I'm doing something wrong (a given :).