Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.5.0
I'm now seeing a delay of about 8-10 seconds when I exit the GUI. Is
anyone else seeing that? I'm guessing it is the recent change to the
way the GUI exits to prevent it from hanging. I'm trying to verify that
now.