Paolo Carlini wrote: >P.S. Probably, in mainline, we can regenerate index.txt only every 2-3 >tweaks or so: there is no real point in keeping it constantly up to date. > > s/tweaks/weeks/ :) Paolo.