streaming search: fixing minor bugs related to progress count (!17575) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge jp/streambugs into main Jan 22, 2021

Created by: limitedmage

Remove count from bottom of search results (fixes #17562)
Update closed connection error message (fixes #17561)
Abbreviates result counts in the progress indicator (eg. 1234 becomes 1.2k+; related to #17560)