There are also quite a few scans made by others, often from sources that are no longer available -- would you accept those as well? These are often in djvu format. F.e. the manual that I used to write ie15.c driver is: https://docs.google.com/file/d/0B55cuwBw5HR-MHdocUZISVVlQW8/edit?usp=sharing