InstallationDebian.md

@@ -8,8 +8,6 @@ To begin, you'll need a workstation with Debian 9 or 10 installed.
 
 You will need root access on this workstation.
 
-# Install the CDS repo
-
 ## 1. Install wget. 
 
 ```apt install wget```
@@ -36,9 +34,7 @@ For Debian 9:
 
 ```apt update```
 
-# Install cds-workstation (or alternatively, just crtools)
-
-## Install cds-workstation, which includes crtools.
+## 5. Install cds-workstation (or alternatively, just crtools)
 
 ```apt install cds-workstation```