Merge "add links from various design docs to corresponding developer docs" into jb-dev-docs