TMR5 not usable for IR PWM (IRQ already in use for epicardium API) ?
In my quest to implement TV-B-GONE on the IR LED, I noticed the TMR5 that's wired to the I/O pin P0.23 is already used for the epicardium API, at least its IRQ.
For now I switched to TMR3 in my patches, but I'm not sure which timer is best to use for the API (or maybe we could still use TMR5 regardless for PWM as long as we don't set it to generate an IRQ? Probably not since it's triggered by setting the timer to 1us).