Re: [PATCH 2/7] doc: Migrate DesignPrinciples wiki page to Sphinx