Slow search

[mckirk]

The search for specific regions is slow to the point of being quite tough to use, with the site stopping to respond completely for a few seconds after typing just two characters. It seems likely that the used pattern-matching algorithm could be improved.