Yeh. Kind of agree. You can ignore without an ignore function anyway.
Must admit though, I’ve thought about ignoring some posters that are annoying AND do little to generate debate and just consistently splurge out senseless comments....just as a means to clear up what u have to read through.