This patches replaces several occurences of the hardcoded minibuffer
default prompt "(default %s)" with a call to 'format-prompt'.  It also
removes the suffix ": ", when applicable, that is automatically handled
by 'format-prompt'.