documents in memory. You can select the document you want to edit.
If you escape from the requester, you can enter the document name on the input line, the default being the current document name, if available.
This command is really useful only if you have a large (say, more than 10)
number of documents loaded. Otherwise,
be enough. See NextDoc, and PrevDoc.