The "/" operation now uses regexps.

  That is the scroll_index_to and scroll_message_to use regexps
 internally, not substrings.