fix: No newline before "either" and "or" in Mac binary installation i…

…nstruction (#4850)

Co-authored-by: Fabio Madge <[email protected]>

docs/Installation.md

@@ -140,16 +140,18 @@ After the compiler dependencies are installed, you can run a quick test of the i
 
 ## Mac (Binary) {#Mac-binary}
 
-To install a binary installation of dafny on Mac OS, do one of the following:
-Either
+To install a binary installation of Dafny on macOS, do one of the following:
+
+Either  
    * Install the Mac binary version of Dafny, from `https://github.com/dafny-lang/dafny/releases/latest`
-   * Unzip the downloaded file in a (empty) location of your choice ($INSTALL)
-   * cd into the installation directory (`$INSTALL/dafny`) and run the script `./allow_on_mac.sh`
-   * dafny is run with the command `$INSTALL/dafny/dafny`
+   * Unzip the downloaded file in a (empty) location of your choice (`$INSTALL`)
+   * `cd` into the installation directory (`$INSTALL/dafny`) and run the script `./allow_on_mac.sh`
+   * Dafny is run with the command `$INSTALL/dafny/dafny`
+
 or
-   * install dafny using brew, with the command `brew install dafny` (the version on brew sometimes lags the
+   * Install Dafny using brew, with the command `brew install dafny` (the version on brew sometimes lags the
      project release page)
-   * run dafny with the command `dafny`
+   * Run Dafny with the command `dafny`
 
 If you intend to use the Dafny compiler, install the appropriate tools as described [here](#compiling-dafny).