(Text from Minibuffer, Minibuffer Completion, High-Level Completion): Document a list of default value strings in the DEFAULT argument, for which minibuffer functions return the first element.