Tidy `design.md`.
Changed extension to `.markdown`.