Update design-choices.md