I just noticed this icon with the number 9 in it, in the left margin of the
editor and wondered if anyone can tell me what it is? I don't know what I
did to make it appear there. There is a black (purple? not sure which) bar
in the right margin of the editor (the margin where green, yellow, red error
warnings are) but it doesn't give a tooltip when I put the cursor over it.