On Thu, Jan 7, 2010 at 11:00 AM, Dirkjan Ochtman <dirkjan at ochtman.nl> wrote: > Do you mind if I tighten this up a little? Say, to something like: > > "shrink-revlog.py is now an extension (see hg help extensions)" Sure, that sounds fine. Greg