This looks like an interesting option I did not think of. Can anyone upload there? If so, I'll upload them myself. I was mostly aware of the Internet Archive and did not think of archive.org when it comes to books.
Also thanks to our anonymous benefactor who actually uploaded the books to archive.org.