Personally, I would like our own PDFs with a proper tag being added. We discussed this among moderators and admins and we want to scan our own. Big manuals like that would take a LONG time to scan properly (not to mention the size would be 30+MB) but it might be worth it if it means we're one of the few sources to have this manual.
__________________
|