Incorrect use of colon in options.hideMatchedNames.tooltip

The Bug

The source text for options.hideMatchedNames.tooltip contains

With this option on: hidden players will be matched based on chat sender names.

A colon is usually used after an independent clause. However, the part before the colon here is not a complete sentence, therefore a comma should be used instead.