docs: revise INSTALL.md

Author: AlexanderSchultheiss

INSTALL.md

@@ -1,4 +1,4 @@
-# Setup Instruction
+# Setup Instructions
 
 You may run the demo manually, or by using Nix or Docker.
 The manual setup enables you to use DiffDetective in any of your own Maven projects.
@@ -9,25 +9,23 @@ The Nix and Docker setups just build the demo for you to run it.
 Check the requirements needed for the manual setup in the [REQUIREMENTS.md](REQUIREMENTS.md) file.
 
 Follow the setup instructions on the [DiffDetective website](https://variantsync.github.io/DiffDetective/).
-These instructions make you clone, the repo and install it.
+These instructions make you clone the repo and install it.
 Afterward, come back here and you should be ready to go.
 
-If you want an empty demo template project to implement the demo yourself, or to use for other purposes, you may
+If you want an empty demo template project to implement the demo yourself, or to use DiffDetective for other purposes, you may
 switch to the `empty` branch.
-The `main` branch contains the full demo source code, instead.
+The `main` branch contains the full demo source code.
 
 ## Docker Setup
 
-Check the requirements needed for the manual setup in the [REQUIREMENTS.md](REQUIREMENTS.md) file.
-
-You can use the `docker.sh` script to build and execute the Demo using [Docker](https://www.docker.com/get-started).
+Check the requirements needed for the Docker setup in the [REQUIREMENTS.md](REQUIREMENTS.md) file.
 
-### Required software
+You can use the `docker.sh` script to build and execute the Demo using [Docker](https://www.docker.com/get-started) as described below.
 
 ### Hints for Linux users
 The following hints apply for most Linux users:
 > You might require elevated privileges to execute Docker commands (e.g., `sudo ./docker.sh build` or adding the user to the `docker` or `wheel` group).
-> See the [post-installation steps](https://docs.docker.com/engine/install/linux-postinstall/) for more information.
+> See Docker's [post-installation steps](https://docs.docker.com/engine/install/linux-postinstall/) for more information.
 
 > It is best to install required software (e.g., Docker, Maven) using your distro's package manager if it is available.
 
@@ -82,4 +80,4 @@ The analysis should take about 30s-5min, and its output to terminal should look
 2024-04-27 11:41:40 INFO    [Analysis.forEachRepository]  === End Processing xterm after 53.379s ===
 2024-04-27 11:41:40 INFO    [AnalysisRunner.run] Done
 ```
-The output files of the analysis should be located at [data/output](data/output).
+The output files of the analysis should be located at [data/output](data/output).