This file is relatively small, but helps a lot while debugging with gdb. Even if it is compressed, it would help a lot! It is in `/usr/src/python` before it gets wiped. Will you accept a PR if I submit one? https://docs.python.org/devguide/gdb.html#gdb-7-and-later