This clarifies and also defines some corner cases like exit code reporting. QubesOS/qubes-issues#2861