(XXX perhaps a bit too verbose; in particular it is sensitive to all the doc strings.)
Attach a file by drag & drop or click to upload
