Bruno Haible Sun, 29 Apr 2012 15:36:10 -0700
Paul Eggert asks: > How about the following improvement to the heuristic?
Looks good to me. Bruno