After many months of gentle nudging and poking it seems like Linux GPIO PWM is finally making it to RPi. That's PWM on arbitrary GPIO pins using a kernel level software driver- blows most userspace libraries out of the water. https://github.com/raspberrypi/linux/pull/6450#issuecomment-2454042163