That part has been done:
it maybe just isn’t in Core Parts yet… And if there are errors in the Heltec WiFi LoRa 32 board in Core Parts, I need to upload the current versions to GitHub, although I believe that all updated [Heltec] parts are included in the above thread.