Sorry, this is so old that I've forgotten what it was about and the circumstances. Also, I never understood the issues. I have since upgraded to 18.04 and then to 18.04.1. I've also gotten out of the habit of reporting such things. I will start reporting them again. Jim On Mon, Jan 7, 2019 at 8:55 PM Daniel van Vugt <