Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
Lars Ellenberg wrote: > now, since you are so pushy today :) > I just checked in something (r3062), > which should do the job, but is untested by me so far. > please test and report back. > > thanks, > Hi, I compiled and installed it yesterday, and so far seems to work fine. Thanks Laurent