Design docs are hosted here. To render design docs locally: cargo install mdbook mdbook serve & open http://localhost:3000