When you search with ctrl+f and use either the "In Session" or "In Document" buttons to report the results in the messages window, multiple matches on the same line in a document are reported multiple times -- the same line is thus reported however many times there was a match in it.
The attached patch fixes this.