I just couldn't wait and gave Teensy a try. Arduino/C code turned out not to be hard at all, the code ended up as less than 30 lines and pretty simple. And it works!

The code and a quick recap of what I did has been posted to GitHub:

https://github.com/joakim/doomsday-device

I'll definitely be revisiting this project when I get my Pico :)