Rename protocol doc file.