Yes… watch has priority over “mute”. My recommendation is to not watch anything but instead use the sidebar feature to keep track of your favorite content.
What I meant in my last reply though, is that I don’t think tags like #5-10min or #10-20min will ended up being used much due to the clunkiness of the search feature. Most likely #0-5min will be the most popular - people who dislikes short scripts will happily put it after -tags:
in their search query or throw it in their mute list and call it a day. I bet most people asked for durational tags just for this purpose, but in practice that likely won’t stop them from seeing short scripts anytime soon.