On Oct 31, 2018, at 8:08 AM, Frédéric Goudal <frederic.goudal at bordeaux-inp.fr> wrote: More whining. And, he's gone. It's telling that the people who complain the most don't contribute anything, and get upset when told their comments are inappropriate. Alan DeKok.