tweaked formatting of design_and_implementation.md