Users whose stream notifications I’ve disabled appear muted if I go to their profile, but they don’t show up in the list of muted users, fortunately it seems their posts continue to populate the feeds.