Update DESIGN_GOALS.md