Marco d'Itri, on Mon 09 Nov 2015 03:38:40 +0100, wrote: > I really doubt that many people still use it anymore. I do use it. Not mentioning the change in NEWS is fine however, people using it probably know where to look at when it stops working. Samuel