Another agenda topic: When to update ChangeLog? Any policy? It is very incomplete. On that note I have a patch to add many entries to to it, but need to reorder "unique" numbers. Also want to decide on naming of CHANGES, ChangeLog, or NEWS for this since release may also have the svn change history included too.