diff --git a/INSTALL.md b/INSTALL.md
index fcab6c0..775ad41 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -39,7 +39,7 @@ Check in `stack.yaml` near the top which extra repos are required. At the time
 of writing, there are 4 of them (`hit-harder`, `hit-graph`, `hit-network` and
 `ssh`). Then clone them. For example:
 
-    $ darcs clone http://hub.darcs.net/fr33domlover/ssh
+    $ darcs clone https://dev.seek-together.space/s/fr33domlover/r/ssh
 
 Some of those extra repos are at `hub.darcs.net` and some at
 `dev.seek-together.space/s/fr33domlover/r`, I'm sorry I'm not just listing the
@@ -57,11 +57,25 @@ Generate a new SSH key with a blank password:
 Install PostgreSQL. You'll need the server and the client library development
 files.
 
-    $ sudo apt-get install postgresql # TODO see exactly which pages are needed
+    $ sudo apt-get install postgresql libpq-dev
 
-Create a new PostgreSQL user and a new database.
+Switch to `postgres` system user:
 
-    $ #TODO take this from the vervis ticket I wrote...
+    $ sudo su - postgres
+
+Create a PostgreSQL user.
+
+With password:
+
+    $ createuser --no-createdb --no-createrole --no-superuser --encrypted --pwprompt vervis
+
+No password (if you run Vervis as a user by the same name as the DB user):
+
+    $ createuser --no-createdb --no-createrole --no-superuser vervis
+
+Create a PostgreSQL database:
+
+    $ createdb --encoding=UTF8 --owner=vervis vervis
 
 Update `config/settings.yml` to specify correct database connection details and
 other settings.