No, @Mittineague is right. This topic is not about muting posts.
In the original post, it states
That idea was discussed here and has been rejected as a core feature of discourse, though the door is open for someone to develop a plugin that does that .