"Ignore" is not the same as "mute." You still get replies from ignored users. I think. I may have undone that preference. Not sure. Company until midnight last night, 8am call this morning, and I'm a default mod so DRAMA.
Either way, I appreciate it. Thanks.