We show users how to install python extensions somewhere, via easy_install. Should add that here as an example.