TBR: todos: update 'docs' references to point to vanadium.github.io

MultiPart: 25/27

Change-Id: Iff996851b3ca8fbf4ebff8398e8ab94bec730712
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 69f169c..de03ce0 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -13,8 +13,8 @@
 ## Contributing code
 
 Please read the [contribution
-guidelines](https://github.com/vanadium/docs/blob/master/contributing/README.md)
-before sending patches.
+guidelines](https://vanadium.github.io/community/contributing.html) before
+sending patches.
 
 **We do not accept GitHub pull requests.** (We use
 [Gerrit](https://www.gerritcodereview.com/) instead for code reviews.)
diff --git a/README.md b/README.md
index d199ce8..29b7f5e 100644
--- a/README.md
+++ b/README.md
@@ -149,7 +149,7 @@
 [syncbase]: https://docs.google.com/document/d/12wS_IEPf8HTE7598fcmlN-Y692OWMSneoe2tvyBEpi0/edit#
 [meteor-todos]: https://github.com/meteor/simple-todos
 [requirements]: https://docs.google.com/document/d/13pbomPQu73Nug8RletnbkqXooPtKMCwPKW9cVYQi_jY/edit
-[install]: https://github.com/vanadium/docs/blob/master/installation.md
-[crx]: https://github.com/vanadium/docs/blob/master/tools/vanadium-chrome-extension.md
+[install]: https://vanadium.github.io/installation/
+[crx]: https://vanadium.github.io/tools/vanadium-chrome-extension.html
 [design]: https://docs.google.com/document/d/1GtBk75QmjSorUW6T6BATCoiS_LTqOrGksgqjqJ1Hiow/edit
 [demo-sync-setup]: https://docs.google.com/document/d/1174a7LIL8jnV1fN174PPV4fO74LGNLi6ODAFEp5l5Rw/edit
diff --git a/demo.md b/demo.md
index e15f3f6..1ba160f 100644
--- a/demo.md
+++ b/demo.md
@@ -79,5 +79,5 @@
 not be able to contact the syncgroup. If we switch to a "predefined, global
 mount table" model, this will no longer be an issue.
 
-[install]: https://github.com/vanadium/docs/blob/master/installation.md
-[crx]: https://github.com/vanadium/docs/blob/master/tools/vanadium-chrome-extension.md
+[install]: https://vanadium.github.io/installation/
+[crx]: https://vanadium.github.io/tools/vanadium-chrome-extension.html