Update design-dump.md