Stefano Sabatini wrote: > Hi, > > the file in question is not updated and likely useless, since now the > diff is not anymore splitted. Oops, indeed. I'm not against its removal. -Vitor