Yeah the RP2040 is a bit overkill, but it's really cheap to get from JLC, easy to prototype FAST and easy if anyone wants to reference the design and create/program their own badges.

I have been looking at some other MCU's like the CH32 for future projects, so if you also have any suggestions for other ones, I'd love to hear them!