I just found out about The Manual Library on the Internet Archive. There’s literally 1 million of manuals!..but -for example- I couldn’t find the Vivanco VM 5000. Anyway, it’s important because
- look there if you don’t find a manual here

- we “should” share with them anything they don’t have yet
- the Internet Archive is probably/imho going to be more reliable long-term than any personal project / forum / github repo etc.
https://archive.org/details/manuals
By the way, an upcoming new Google policy about storage makes it even more important to backup manuals and resources (anything really) out of Google.
Jason Scott (an authority about archiving, data rot, rescuing internet content to preserve collective memory etc) puts it this way:
If you see something on Google Drive being shared like it’s a normal, semi-permanent link on a webpage; it is NOT. It is a fleeting storage point; get the item you treasure there mirrored at Internet Archive or another provider.
