So I ordered some Adafruit trinkets to turn into a more customizable controller for my foot pedal, but something weird is going on with its USB keyboard library and it's not properly sending higher-order F keys despite setting things up so that they're included in the USB descriptors.

So instead I'm gonna just map it to the Pause key. This can't possibly go wrong!