I want to make sure I understand something fundamental. The nRF52840's PWM peripheral is hardware based unlike the app_pwm library which is software based, (originally developed for the nRF51 family which has no PWM silicon). So my question: Am I correct that no nRF52840 Timer peripheral is used, (such as nrfx_timer0, nrfx_timer1, nrfx_timer2, nrfx_timer3, or nrfx_timer4), for the generation of PWM by the nrfx_pwm peripheral?