Drew,

Thanks! That’s the other popular answer in Stack Overflow too. I also remember reading it, ages ago, but somehow I forgot it. The ctrl-r / trick is completely new to me, though.