Update docs/design-philosophy.rst