[spjwebster]

The official python debugger is called pdb, so this is following convention. Moreover, bdb and gdb have coexisted since the 80s without causing much confusion. I think we'll survive.