Rename doc files as .rst