ESP32C3 cannot drive a servo and pwm output correctly

Unfortunately, I spoke too soon…having put the 'scope on the PWM output, it is running at 50hz, same as the servo - I need 10khz. The hunt continues.