Update and rename DesignDoc to DesignDoc.txt