Merge pull request #327 from garyburd/impl

Improve synopsis text indexing