When starting the GUI (either due to --gui or because we want to use
tree2bbcd055ddba19f563ca04182c5a982a6f6909ec
-rwxr-xr-x 2341 0alias
-rw-r--r-- 1258 0alias.1
-rwxr-xr-x 4257 0launch
-rw-r--r-- 3917 0launch.1
-rwxr-xr-x 2024 0store
-rw-r--r-- 2635 0store.1
-rw-r--r-- 26536 COPYING
-rw-r--r-- 80 MANIFEST.in
-rw-r--r-- 2080 README
drwxr-xr-x - debian
-rwxr-xr-x 897 makedist
-rw-r--r-- 480 setup.py
drwxr-xr-x - tests
drwxr-xr-x - zeroinstall