Thanks Martin.
1) For indulging my laziness
2) For the consistently useful info.
Obviously, I was hoping to avoid "rolling my own" replacement for the Servo library. In the code I'm modifying, TC4 is my 1 ms hard-realtime metronome/heartbeart, and TC5 gets uses whenever I spin my stepper motor.
I've used the Servo library many times, so I don't want to complain about it too much; but if the Arduino gods are listening ...
According to one old-ish post I read, the Servo library uses TC0, TC2, TC3, TC4, and TC5 "_Handler" ISRs. However, inserting fake handlers (with those TC0-TC4 names) into myprogram that uses the SAMD21 version of the library, only triggers a duplicate TC4 complaint from the compiler. Maybe I can just make a "blind conversion from TC4/5 to TC2/3.
A)
Wouldn't it be nice if timer use info was part of every library description in the Arduino Reference pages? ? ? ? ? ?
B) Wouldn't it be nice if the Servo and other libraries allowed users to rearrange the Timer use choices (to the extent possible) by invoking a configuration subroutine, or by inserting #defines?
Thanks again Martin.