update docs

docs/docker-launcher.md

@@ -12,17 +12,20 @@ The launcher will listen on port 8090, you can change this by setting the `BUBBL
 
     BUBBLE_PORT=8080 /bin/bash -c "$(curl -sL https://git.bubblev.org/bubblev/bubble/raw/branch/master/launcher)"
 
+There are a few other environment variables you can set to customize the launcher configuration.
+
+The header of the [launcher script](https://git.bubblev.org/bubblev/bubble/src/branch/master/launcher)
+describes all the launch options in detail.
+
+### Running Launcher from Source
 If you have cloned the main [Bubble git repository](https://git.bubblev.org/bubblev/bubble), you can run
 the launcher directly, without using `curl`.
 
 From the top-level directory of the Bubble source repository (usually called `bubble`), run:
 
-    BUBBLE_PORT=8080 ./launcher
+    ./launcher
 
-There are a few other environment variables you can set to customize the launcher configuration.
-
-The header of the [launcher script](https://git.bubblev.org/bubblev/bubble/src/branch/master/launcher)
-describes all the launch options in detail.
+You can pass environment variables the same as described above.
 
 ## Docker Installation
 If you're running Windows, or if the above script has problems installing Docker,