diff --git a/docs/source/_static/cloud9.pdf b/docs/source/_static/cloud9.pdf
new file mode 100644
index 00000000..22c6891e
Binary files /dev/null and b/docs/source/_static/cloud9.pdf differ
diff --git a/docs/source/dev-and-test/setup-run-node.md b/docs/source/dev-and-test/setup-run-node.md
index 6602d77f..232c73bb 100644
--- a/docs/source/dev-and-test/setup-run-node.md
+++ b/docs/source/dev-and-test/setup-run-node.md
@@ -4,6 +4,9 @@ This page explains how to set up a minimal local BigchainDB node for development
 
 The BigchainDB core dev team develops BigchainDB on recent Ubuntu and Fedora distributions, so we recommend you use one of those. BigchainDB Server doesn't work on Windows and Mac OS X (unless you use a VM or containers).
 
+
+## Option A: Using a Local Dev Machine
+
 First, read through the BigchainDB [CONTRIBUTING.md file](https://github.com/bigchaindb/bigchaindb/blob/master/CONTRIBUTING.md). It outlines the steps to setup a machine for developing and testing BigchainDB.
 
 Next, create a default BigchainDB config file (in `$HOME/.bigchaindb`):
@@ -28,3 +31,10 @@ bigchaindb start
 You can [run all the unit tests](running-unit-tests.html) to test your installation.
 
 The BigchainDB [CONTRIBUTING.md file](https://github.com/bigchaindb/bigchaindb/blob/master/CONTRIBUTING.md) has more details about how to contribute.
+
+
+## Option B: Using a Dev Machine on Cloud9
+
+Ian Worrall of [Encrypted Labs](http://www.encryptedlabs.com/) wrote a document (PDF) explaining how to set up a BigchainDB (Server) dev machine on [Cloud9](https://c9.io/):
+
+[Download that document from GitHub](https://github.com/bigchaindb/bigchaindb/raw/master/docs/source/_static/cloud9.pdf)