How to end a session (music-work end, what it will and will not do, exit codes), the tray Quit that tells the truth, and what is still unverified (the extension tile needs a log out/in; the first real end-session run).
