apparently there's this python thing named pip
Merge branch 'rename-pip'