I am completely puzzled now! Last night it worked at least in one direction for me. Today a CTRL-R would not search backwards in history anymore... :( (Not to talk about a forward search...)