Meaning of the LED signals: what pins?

Hi. What an amazing project this is.

I have built on a pi 3b and 4b successfully a very basic set up (13 midi bass pedals) sinle wav per pedal.

What gpio pins are used for the status LEDs?
I have spent a few hours looking around the website for it, but probably missed it.

I will set up a 1602 display in the future too.

Cheers.

FYI, I found it.  
LED_red=27

LED_green=22