manual.texi small cleanups Docs/manual.texi: Change note mods, 4.0.0 - 4.0.2
Attach a file by drag & drop or click to upload
