I've been in contact with the creator of that site, Josh, since he started it, and he is more than happy to exchange and share manuals with classicamiga.com. Great for increasing the resources of both. The manuals are obviously all still copyrighted to their publishers, but it is always nice to ask.

The frontend of the site has also come a long way since it began, with some help from people within the community.