No Heltec boards in Arduino IDE after installing library

After installing Arduino IDE 2.3.6, I installed the Heltec ESP32 Dev-Boards library and its dependencies in the library manager. However, I can’t find any Heltec boards in the board manager. What could be wrong?
(I do get the Heltec entry under File->Examples).

You didn’t install the Heltec boards in the board manager. Most boards have a link in the product page to do that install.

Boards are the hardware, libraries are supporting software (firmware).

Thanks, it works!
A note for others: I installed the esp32 package in the Boards Manager, and the Heltec boards now show up. However, when I go to Select Other Board and Port and select Heltec WiFi Kit 32, the selection goes blank and below it reads NO BOARDS FOUND FOR “”. When I use Tools->Board->esp32->Heltec WiFi Kit 32, it works.

Cool!

This is a known issue with the Arduino IDE - as you say, the menu works just fine.