2 Mic Pi Hat and 3rd Party Button

I want to use a 3rd party weatherproof button with the Respeaker 2 Mic Pi Hat. But because the hat covers all of the GPIO pins I cant really access them.

There is the plug referred to as “GPIO12: Grove digital port, connected to GPIO12 & GPIO13” This seems to be a standard 4 port grove plug, but there is very little documentation about it online.

  • What does it mean that it is connected to 2 GPIO ports?
  • How would I hook a 3rd party button into this plug (assuming it is possible)?