Reformatted DESIGN.md a bit