- (12/May/07) indexing of ./distfiles has been disabled to speed up other
  directory indexes to come up.