Steel, here is what the co-founder of the Discorse software that runs this forum had to say about ignore/mute. It actually makes a lot of sense, and is the reason such functionality doesn’t exist here.
https://meta.discourse.org/t/ability-to-block-or-mute-another-user/6001/16