Which Library to Use to Control a Servo with the Arduino Nano ESP32

At the moment the ESP32Servo library is not working with the Arduino ESP32 board. See this post here: ESP32servo library gives compiling errors with board nano ESP32