Hi Brian, but when you go to Tools > board, can you see the ESP32 boards options to select?

No, they do not show up.  It still reads that I have an Arduino Uno attached, even though I don’t.  Also, thank you for your quick reply!  I am impressed!

Rui,  After a bit more research, I have
(i) tried turning off my Avast security temporarily.  This had no effect.
(ii) tried reloading everything, without success.
I have realized that I am running this on a 32-bit and not a 64-bit machine.  I suppose that could be my problem.  I will try testing that tomorrow and let you know if it worked.  In the meantime, any other suggestions are helpful. 

Good Evening Everyone,
I am having the same problem under my linux distribution.  I have installed and uninstalled twice.
I am using arduino-1.8.5  (which is the latest at the moment)
I install the esp32-core under the  “~arduino/arduino-1.8.5/hardware/espressif/esp32” directory..
any help would be gratefully accepted.

ANSWER:   FOUND IT!!!!!

Under the “Tools – Board” menu, the submenu shows a “hollow” up arrow on top and a “solid” down arrow on the bottom.  if you hover over the down arrow, the menu finally scrolls down and shows the ESP32 boards.

So, I am not quite so lucky.  When I scroll down the ESP32 board does not appear.  I was going to try loading it on a 64-bit machine today, but haven’t found the time.  It may need to wait until the weekend, I’m afraid.

Hi Brian, Sorry for taking so long to get back to you!
If you have a small screen the Tools menu might be cropped and it’s not very easy to see that small arrow that you need to use to scroll down…
Did you run the get.exe file in your Windows PC as an administrator? Did it run successfully?
I would try to re-run again and re-open the Arduino IDE.
It looks like you are doing everything right, so I can only imagine that it’s something small that is missing to make it work
Let me know your results! Thanks for your patience!

Good news!  I switched laptops (to a 64-bit machine) and was able to successfully get everything working.  I am still going to try to get things going on my older machine, but at least I can now move forward with the class.

Hey all,
I finally found the problem on my 32-bit machine.  It had nothing to do with it being a 32-bit machine and everything with me not paying attention to detail. When I originally set up the folders where I stored my sketches, it was in a different location than where the files from GitHub landed.  Once I realized that a simple change in the preferences solved my problems.  It had simply been so long since I had installed the Arduino IDE that I hadn’t remembered the change.
I hope this post lets you avoid my mistake!

Thanks for letting us know how you solved it Brian.
I’ll probably have top improve the installation of the ESP32 add-on to tell everyone that they need to double-check the installation folder and update/re-install the Arduino IDE before installing the ESP32 add-on.