Rename design_doc.md.txt to design_doc.md