Change requirements from Python 3.8 to 3.6

Author: RobertBaruch

00_intro.md

@@ -36,7 +36,7 @@ Remember that the docker container will not save local files (e.g. files in `/wo
 
 You will need:
 
-* Python 3.8 or above: See below for Python 3.8 on WSL.
+* Python 3.6 or above: See below for Python 3.6 on WSL.
 
 * Install yosys, Symbiyosys, yices2, and z3.
   * `sudo apt install curl`
@@ -60,7 +60,7 @@ Python 2 and Python 3 are not compatible. This is why this happens:
 * `python`, `pip` -> Python 2
 * `python3`, `pip3` -> Python 3
 
-On my freshly-installed WSL, the only version present is Python 3.8. If it is not on your version, you will want to upgrade to 3.8. Upgrading is beyond the scope of this document.
+On my freshly-installed WSL, the only version present is Python 3.8. If it is not on your version, you may want to upgrade to 3.8. Upgrading is beyond the scope of this document.
 
 Now install some bare minimum tools: