16988/python-exit-commands-why-so-many-and-when-should-each-be-used