<div dir="ltr"><div class="gmail_extra">Paul, a little later I'll do a rebuild with my alternate tray icon code and we'll see if that fix the issue. There should definitively be a tray icon, otherwise you need to use "kill <PID>" from the terminal to ask it to close gracefully, and "kill -KILL <PID>" to force anything to close ungracefully.</div></div>