Misc #0000: Adding the user manual.