Timer Interrupt and Servo Collision

The documentation states “The Servo objects use Timer(5) to produce the PWM output.”

s1 = pyb.Servo(1)

When I create an interrupt handler on timer 4 the servo stops working.

pyb.Timer(4, freq = 10, callback = timer_cb)

However, when I create the same interrupt handler on timer 2, the servo works again.

pyb.Timer(2, freq = 10, callback = timer_cb)

Timer 4 is used sometimes too.