Update DESIGN_NOTES.md