[sr-dev] git:master: Renaming doc files