On Apr 4, 2009, at 09:59 , matt neuburg wrote: > PPS I would just like to repeat that I don't actually care about this > particular problem. Even without the peculiar case of squeeze!, I > would > *still* like interactive ri to present me with a list of numbers to > type > instead of names. One or two characters (digits) is a much faster > alternative for picking the one you want. So write a patch. We don't really care what you really care about or not. We need a repro for this problem and we have yet to have anyone give us one.