In article <ylg03rv5qa.fsf at windlord.stanford.edu>, Russ Allbery <rra at stanford.edu> wrote; } does or not (but it looks like it may not, because it does the same thing } that tradindexed does, namely close the search before returning). Correct. } Does that sound okay to everyone? It's ok to me. -- Katsuhiro Kondou