Christ, are tags on this site really differentiated by capital letters? that's annoying
also I wish that muting a tag would just silence posts with that tag rather than just Muffle them. I don't want to have to click an extra button on every offending post