Pistol's migration to gun is complete. pistol.py is no longer useful