Renaming doc/ subdir to docs/.