What exactly is the difference between agps3.py and gps3.py? diffing both yields pretty much the same thing.