i3_pedals What is it? A small script that facilitates the switching of i3 windows via two usb MIDI pedals. Demo