manual.texi intro sections Docs/manual.texi: remove overlap between server-side and client-side intro sections
Attach a file by drag & drop or click to upload
