Have you figured out a good way to share the printed manual with those who might
want it? I didn't have very good results with a scanner/OCR combo, though you
may find it's easy enough to scan the thing and let folks download the scanned
image.
Let me know how you're handling this, plz.
regards,
Dick