(Info-bookmark-jump): Document with a doc string, not just a comment. (Bug#4061)
Attach a file by drag & drop or click to upload