I just printed the manual - there were versions for the US and another for GB and FR (in one). I usually print something like this PDF with two pages per side, printing on both sides, and if I decide that I need it a bit larger for part of it, I can reprint the pages I want full-size.

Yes, a lot of places have their own manuals online. And places like Dell have instructions for taking apart and updating their computers. But in general, having all of this in one place, especially the more obscure items, is very nice.

SRS