installation-instructions.md

-# How to install graph-tool
-
-## Using Docker
+# Installing using Docker
 
 The most hands-free and OS-agnostic way to install `graph-tool` is using [Docker](https://www.docker.com/). If you have Docker installed, this can be done simply by running:
 ```bash