And it has been, to put it mildly, rather inconsistent in how it works, doesn’t show a mute button on private profiles, and auto-times out on the system’s basis and not the user’s. Oh, yeah, and if a user you muted posts, when viewing a thread, it shows it anyway.
The script route puts power in the user’s hands, is intuitive, and works 100% of the time.