Lemma auto-completion now ignores bracketed ID strings in the search term.
Lemma auto-completion now ignores bracketed ID strings in the search term.

comphist/cora,comphist/cora,comphist/cora,comphist/cora,comphist/cora