Misc #0000: Install instructions in the manual.