I’d like to suggest the documentation for Pulse Width Modulation specify the third parameter as “Initial Duty Cycle (0.0 - 1.0)”. I may simply be dense, but I had a hard time understanding what was expected here and it was not until I finally looked at the example for “PWM LED” (not PWM SERVO) that it became clear this was the desired initial output (position for a servo).
Thankfully, the recommendation to Wikipedia provided some additional insight about PWM. It may be worthwhile to include a reference to the “Servo (radio control)” Wikipedia entry as it further describes the pulses and duty cycle and may help novices like me get a handle on how to control them. All of a sudden the SERVO_MIN and SERVO_MAX made sense.