Johan Corveleyn wrote: > Ok, to wrap this up for now: r1102471 finally put these thoughts into > notes/diff-optimizations.txt, with some of Stefan2's feedback/ideas > integrated into it.
Johan, thank you for writing down the ideas you've thought through so much, where we can find them later, in addition to all the improvements you have already implemented. - Julian
