Fix SDK requirement in README. (#64)

Closes #60

README.md

@@ -39,7 +39,7 @@ RESTler was designed to run on 64-bit machines with Windows or Linux.
 ### **Build instructions**
 
 Prerequisites: Install [Python 3.8.2](https://www.python.org/downloads/) and
-[.NET core SDK 3.1](https://dotnet.microsoft.com/download/dotnet-core?utm_source=getdotnetcorecli&utm_medium=referral) or higher, for your appropriate OS.
+[.NET core SDK 3.1](https://dotnet.microsoft.com/download/dotnet-core?utm_source=getdotnetcorecli&utm_medium=referral), for your appropriate OS.
 
 Create a directory where you'd like to place the RESTler binaries:
 

docs/user-guide/QuickStart.md

@@ -1,7 +1,5 @@
 # Quick Start for Fuzzing with RESTler
 
-
-
 RESTler generates tests from your API specification,
 and executes these tests against your live service.
 In this quick start, you will first run RESTler with
@@ -24,7 +22,8 @@ The minimal requirements for fuzzing your API are:
 
 ## **Initial run**
 
-Once you have prepared (1) and (2), run the following command:
+Once you have built RESTler per the steps in the main README, and
+prepared (1) and (2), run the following command:
 
 ```python restler-quick-start.py --api_spec_path <path to specification> --restler_drop_dir <path to RESTler drop>```