Maix GPIO control

Hello

Is there a documentation how to use the GPIOs on the Maix Bit board and not the red LED like in the totally incomplete Wiki?

So on the silkscreen I see pin number 25 I want to use…but there is no way to control the output of this pin as the example only relies on the red LED which is defined in the board_info…