MANUAL update: no more (minibuffer *interface*). Document (url (current-buffer)).
MANUAL update: no more (minibuffer *interface*). Document (url (current-buffer)).

for #487

jmercouris/NeXT,jmercouris/NeXT