Will you also exclude votes from anyone you’d mute (if it were possible)?
If you only have to count votes from about 3 people it should make it an easy job 
Do you get double votes if it’s done via pun?
Yes…and triple.
I don’t actually have anybody muted (because it doesn’t seem to work reliably). Plenty of threads muted though.
And because it doesn’t actually exist anymore, … right? 