minor rewrite of DesignDoc.md, removed DesignDoc.rtf (can be generated using unrtf, or manually converted with ease.)