Hello, I’m an eterneal beginner with embended rust. I want to control some ws2812 leds with a microbit v2. This crate seems to require a timer at 3Mhz https://github.com/smart-leds-rs/ws2812-timer-delay-rs/blob/master/src/lib.rs#L32 Yet the hal crate for the microbit seems to hardcode the frequency at 1Mhz https://docs.rs/microbit-v2/latest/microbit/hal/timer/struct.Timer.html Am I misunderstanding how I’m supposed to put things together?