Some tweaks to design-alternatives.md