-
Dmitry Gutov authored
^ turned out to be a very expensive anchor. It was the difference between a "real" regexp search and a literal search, and the latter's much faster. And since we're searching literally, might as well use search-forward.
a9969d0e