A second restart did clear it, so it may be a race in some kind of display layer management somewhere, or something to that effect.
A second restart did clear it, so it may be a race in some kind of display layer management somewhere, or something to that effect.