Rewrite "Getting Started: Users" page

Author: allanrenucci

docs/docs/usage/getting-started.md

@@ -5,48 +5,17 @@ title: Getting Started: Users
 
 
 
-Basics
-------------
-Make sure that you are using Java 8 or later. The output of `java -version`
-should contain `1.8`.
+## Requirements
+Make sure that you are using Java 8. The output of `java -version` should contain `1.8`.
 
+## Trying out Dotty
 
-Option 1: Install Dotty
--------------
-If you're a Mac user, you can install dotty with [brew](https://brew.sh/)
+### In your web browser
+[Scastie](https://scastie.scala-lang.org/?target=dotty), the online Scala playground, supports Dotty.
+This is an easy way to try Dotty without installing anything, directly in your browser.
 
-```bash
-brew install lampepfl/brew/dotty
-```
-
-If you're a Linux or Windows user, download the [latest release](https://github.com/lampepfl/dotty/releases). Optionally add path of the folder `bin/` to the system environment variable `PATH`.
-
-Option 2: Using Dotty directly from source
--------------
-```bash
-$ git clone --recursive https://github.com/lampepfl/dotty.git
-$ cd dotty
-$ sbt managedSources # Needed for IDE import to succeed
-```
-
-Dotty provides a standard sbt build: compiling, running and starting a repl can
-all be done from within sbt:
-
-```bash
-$ sbt
-> dotc tests/pos/HelloWorld.scala
-> dotr HelloWorld
-hello world
-```
-
-Try Dotty
-----------
-Try it in your browser with [Scastie](https://scastie.scala-lang.org/?target=dotty)
-
-
-Create a Dotty Project
------------------------
-The fastest way to create a new project in dotty is using [sbt (0.13.5+)](http://www.scala-sbt.org/)
+### sbt
+The fastest way to create a new project compiled by Dotty is using [sbt (0.13.13+)](http://www.scala-sbt.org/)
 
 Create a dotty project:
 ```bash
@@ -58,41 +27,60 @@ Or a Dotty project that cross compiles with Scala 2:
 $ sbt new lampepfl/dotty-cross.g8
 ```
 
+You can then start a Dotty REPL directly from your sbt project:
+```bash
+$ sbt
+> console
+Welcome to Scala.next (pre-alpha)  (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_112).
+Type in expressions to have them evaluated.
+Type :help for more information.
+scala>
+```
+
 For an example project, see the [Dotty Example Proejct](https://github.com/lampepfl/dotty-example-project)
 
+### IDE support
+Start using the Dotty IDE in any Dotty project by following the
+[IDE guide](http://dotty.epfl.ch/docs/usage/ide-support.html).
 
-Bash Scripts
--------------
-Assuming that you have cloned the Dotty repo locally, append the following line on your `.bash_profile`:
+### Standalone installation
+Releases are available for download on the [Releases section](https://github.com/lampepfl/dotty/releases))
+of the Dotty repository. Releases include three executables: `dotc` the Dotty compiler,
+`dotd` the [Dotty Documentation tool](http://dotty.epfl.ch/docs/usage/dottydoc.html) and `dotr` the Dotty REPL.
 
-```shell
-$ export PATH=$HOME/dotty/bin:$PATH
+```
+.
+└── bin
+    ├── dotc
+    ├── dotd
+    └── dotr
 ```
 
-and you will be able to run the corresponding commands directly from your console:
-
-```shell
+Add these executables to your path and you will be able to run the corresponding commands directly
+from your console:
+```bash
 # Compile code using Dotty
-$ dotc tests/pos/HelloWorld.scala
+$ dotc HelloWorld.scala
 
 # Run it with the proper classpath
 $ dotr HelloWorld
-```
-
 
-Starting a REPL
-----------------
-```bash
-$ sbt
-> repl
-Welcome to Scala.next (pre-alpha)  (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_101).
+# Start a Dotty REPL
+$ dotr
+Welcome to Scala.next (pre-alpha)  (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_112).
 Type in expressions to have them evaluated.
 Type :help for more information.
 scala>
 ```
 
-or via bash:
+If you're a Mac user, we also provide a [homebrew](https://brew.sh/) package that can be installed by running:
 
-```bash
-$ dotr
+```
+brew install lampepfl/brew/dotty
+```
+
+In case you have already installed Dotty via brew, you should instead update it:
+
+```
+brew upgrade dotty
 ```