docs: update docs for v23-profile.

Change-Id: I24ca45a30665be2964dfaa4b36f18344e2795fb3
diff --git a/installation.md b/installation.md
index ee069c4..f06eee3 100644
--- a/installation.md
+++ b/installation.md
@@ -2,7 +2,7 @@
 
 This document explains how to install Vanadium (including Syncbase).
 
-## Prerequisites
+## System Requirements
 
 The instructions below assume that the following software packages are installed
 and available in your `PATH`.
@@ -48,19 +48,27 @@
 
 Recommended: Add the line above to your `~/.bashrc` or similar.
 
-## Additional prerequisites
+## Prerequisites
 
 Syncbase and various demo apps have some additional prerequisites, including
 Snappy, LevelDB, and Node.js.
 
-We recommend using the `jiri profile` command to install all such prerequisites.
+We recommend using the `jiri v23-profile` command to install all such prerequisites.
 This command uses `apt-get` on Linux and `brew` on OS X. Note, the `jiri` tool
 and its various plugins are located in `$JIRI_ROOT/devtools/bin`.
 
-    jiri profile install nodejs syncbase
+    jiri v23-profile install base
 
-The `jiri profile install` command only writes to files under `JIRI_ROOT`, i.e.
-it will not write to system folders such as those under `/usr`.
+The `jiri v23-profile install` command only writes to files under `JIRI_ROOT`, i.e. it will not write to system folders such as those under `/usr`.
+Installing the base profile installs syncbase and go, if nodejs is required then
+use:
+
+    jiri v23-profile install nodejs
+
+The `v23-profile` subcommand can be used to list available and installed profiles as follows:
+
+    jiri v23-profile list --available
+    jiri v23-profile list
 
 ## Verifying installation
 
@@ -112,7 +120,7 @@
 additional prerequisite, OS X users must have a full and up-to-date installation
 of Xcode.
 
-    jiri profile install nacl nodejs
+    jiri v23-profile install nacl nodejs
 
 Build and test the JavaScript code:
 
@@ -127,11 +135,9 @@
 
 The jiri tool supports cross-compilation.
 
-    # For cross-compilation using the default toolchain.
-    GOARCH=<arch> GOOS=<os> jiri go <command> <packages>
-
-    # For cross-compilation using development profiles.
-    V23_PROFILE=<profile> jiri go <command> <packages>
+    # For cross-compilation use:
+    jiri v23-profile install --target=<arch>-<os> base
+    jiri go --target=<arch>-<os> <command> <packages>
 
 These commands configure the `GOPATH` and other environment variables so the
 Vanadium libraries and binaries are built for the desired architecture.