In article <ylr8g0i9ap.fsf at windlord.stanford.edu>, Russ Allbery <rra at stanford.edu> wrote; } Which we do, for at least tradindexed and I believe buffindexed. It's true for buffindexed. -- Katsuhiro Kondou