@SonictheInclusiveHedgehog I edited all questions more appropriately tagged
ignored-users (i. e. chat) and
ignored-tags. But there remain others about ignoring questions (but not tags) or users outside of chat (e. g. their comments). I don't like
ignore as it looks pretty meta, but it doesn't look right without some tag - maybe other specific tags like
ignored-questions or something?