Update design_notes.md