This is not an actual pull-request but rather an RFC (request for comments) from
the KTextEditor, Kate and KDevelop developers, because I failed to solicit any
feedback on the kdevelop-devel@ and kwrite-devel@ mailing lists.
This completes the series of RFC'ed changes in search highlighting behavior.
More details in D5802 and D5803.