Prelude: docs for set_default(), set_dictionary_helper(), substitute_path_separator() and path2directory()