On Tue, Jan 19, 2016 at 10:20:42AM +0100, Ludovic Courtès wrote: > This is a bit verbose. I think it would be nice to have a data > structure to describe what we are deleting, along these lines > (untested): I agree, computer science 101 tells us to use a function when repeating the same sequence of statements on separate data. This is what I did in the new attached patch; I also "flattened out" the deletion as you suggest. However, the data structure thing was too complicated for me and I think not really needed. Comments are again welcome. Andreas