reaches the end of single-file Info manual. Fixes: debbugs:9918
Attach a file by drag & drop or click to upload