As a follow up on this post, I would like to propose an update for the wiki on the "I/O Pins - GPIO" section. The AUR package has been removed and today the preferred way of installing Python packages is using pip. So I would suggest changing the fext as follows:
"To be able to use the GPIO pins from Python, use the RPi.GPIO library. Install the rpi.gpio package using Python's package manager pip."
Please make comments here and if there's enough people aggreeing someone please pick this up and contribute it to the wiki (I'm not a GitHub user myself).