Move some files into the design-docs/ directory