Eric Kow wrote: > Thanks! Would you mind generating a darcs patch with this? I did it, and it looks like it went well, but I cannot really tell since I do not know whether it arrived anywhere. I thought it should arrive to this list but it is not coming. Peter.