That was the sort of thing that I’d noticed on my forum too so, yes, the muting idea is unlikely to be the answer.
Maybe you could do some Data Explorer queries to find out what users’ settings are.
Or have a look at the code linked to above. Maybe there are situations in which emails are skipped but that fact is not logged.