Arduino IDE has no "Heltec ESP32 Dev-Boards" examples

Hi guys. I tried to quick start my Arduino IDE via Local File (there are some errors when via Arduino Board Manager or Via Git).
I downloaded file and installed it correctly, then reopen Ardino IDE again, but there is no “Heltec ESP32 Dev-Boards” menu item in the examples menu. I can’t find “WiRi_LoRa_32FactoryTest” example in my installation. Is there any thing wrong with my installation?

Here’s my IDE screenshot (left) vs that in the “Quick Start” menual (right):

That’s a separate library, https://github.com/HelTecAutomation/Heltec_ESP32

Thanks for response. The problem has been solved!