Documentation tweaks; mention DEFAULT-DIRECTORY