FYI I made a tap tempo by modding the dev-1 dev board (
here).
@PedalPCB could easily make a pcb with my changes - I could share the code.
But, the thing pedalpcb was working on with the external microcontroller sounds like it would be better in the long run.