On Tue, 2014-05-20 at 11:48 -0700, Luis R. Rodriguez wrote: > > I think we should, but if we can't then at least can we cut to an > > extensible format? I don't see any way to extend the format right now. There's a wrinkle with making it more extensible too though - if we do that then we must be extremely careful that future older crda versions (i.e. the next version that we're about to write) will not parse a newer extended file more permissively, so our extensions are limited anyway. Looks like the format update really is needed, which probably means we should change the scripts to generate two databases and change the filename, or so? johannes