The profiles/ChangeLog file has grown to more than 700 kbytes. Would it make sense to remove ancient (say, pre-2010) entries from it?
Maybe it would also help if we added separate ChangeLog files for each subdirectory? Some subdirectories already have such a file, but it looks to me like they've been added more or less at random. Ulrich
