Maixduino with Maixpy simple GPIO operations

I’m trying to simply turn on a LED connected to pin 2 on my Maixduino board.
From the schematics I can see that it’s connected to IO21.
The problem is that I can’t figure out how to read / write from these regular GPIOs using Maixpy.

The example on the documentation is supposed to work on the on-board LED (even though it doesn’t work on the Maixduino).