src/vs/workbench/contrib/markers/browser/markers.contribution.ts/MarkersStatusBarContributions/packNumber
class MarkersStatusBarContributions:	private packNumber(n: number): string {
		const manyProblems = localize('manyProblems', "10K+");
		return n > 9999 ? manyProblems : n > 999 ? n.toString().charAt(0) + 'K' : n.toString();
	}