OK, it has been 3 weeks since I last posted. I think people saw it coming but I now no longer think I am suitable to run this kind of thread. Real life job change has been keeping me really busy and I don't have much time to spare nowadays. Maybe someone else can take over. I can contribute here and there but it won't be that frequent anymore compared to before.