checked my gmail account via the browser (Safari) and discovered a bunch of notifications had been marked as junk.

So that was the problem: not gremlins, but gmail