InstallationDebian.md

@@ -36,6 +36,8 @@ For Debian 9:
 
 ```apt update```
 
+# Install cds-workstation (or alternatively, just crtools)
+
 5. Install cds-workstation, which includes crtools.
 
 ```apt install cds-workstation```