updates for access to 4.0 repository Docs/manual.texi: updates for access to 4.0 repository
Attach a file by drag & drop or click to upload
