Docs/manual.texi: Edits to first 10,000 lines from read-through.
Attach a file by drag & drop or click to upload
