But what is different (apart from the shortcut) from using the right side-bar "Comments/Tags" which does have an incremental search box, behaving precisely as described? Best, Arnd