Hello Rui
The download link in your tutorial  “http://micropython.org/download#esp32” produces a 404 error. Going there over a Google search produces a warning and the browser won’t access the homepage of micropython.org
Forced to go there you can only see a business card…
Therefore I stuck just at the beginning of the course.
 
Kind regards
HP Hotz