and there are prebuilt binaries for ready to be uploaded to board.
Also, since reading keyboard is new Basic feature you would need to update firmware (using PicKit3 or similar) on main badge to, at latest version (v 1.04).
Connecting is quite simple
GND on PMOD (2nd pin counting from bottom on top row of PMOD) to GND pin in basic badge
RX on PMOD (4th pin counting from bottom on top row of PMOD) to C14 pin on basic
Awesome work. And thanks for the workshop!