No, because it was in essence a staff account that I set up for the express purpose of forwarding posts from one group to an external legacy mailing list, and as far as I know I never intentionally muted that user on that topic.
But at least I learned a bunch about the data structure, read through some Ruby code and learned a few things about being an admin. 
I think this topic can be closed now.