When one uses Pickler.dump(object) to serialize an object to a file associated with the Pickler, is there a Python convention for the file extension name? Thanks, Donnal Walter Arkansas Children's Hospital