As pointed out by http://arduino.cc/en/Reference/ServoDetach
, pwm on pin 9 and 10 should be available once I detached the servo. However it doesn't work with my example:
This one has an LED attached to pin 9, and servo attached to pin 4.
Does anybody know why detach doesn't work here? Thanks!