using GPIO on 10.1-release

[Anton Shterenlikht]

Hi

My son is bugging me to teach him something 'cool' on RPi.
I've got 10.1-release working on RPi-B.

I've seen some tutorials on using LEDs via
GPIO, but those are implemented in python
using RPi-GPIO module [1], which doesn't seem to
exist on ports. (Or am I looking in the wrong place?)

Anyway, what is the easiest way to start on
GPIO programming on RPi-B 10.1-release,
preferably using what is available via ports
already?

Thanks

Anton

[1] https://pypi.python.org/pypi/RPi.GPIO