src/vs/workbench/contrib/preferences/browser/preferencesSearch.ts/LocalSearchProvider/constructor
class LocalSearchProvider:	constructor(private _filter: string) {
		// Remove " and : which are likely to be copypasted as part of a setting name.
		// Leave other special characters which the user might want to search for.
		this._filter = this._filter
			.replace(/[":]/g, ' ')
			.replace(/  /g, ' ')
			.trim();
	}