Misc #0000: Updating the manual with install instructions.