Slightly related (or hopefully at least related enough

), while I’d usually prefer to ignore threads than users, if I
do try to use the board’s functionality to ignore a user who is posting a bunch of stuff I’m not interested in, then it seems that the text of their posts still shows up in the Active Threads/Posts feed and is only hidden when I click through to view the thread.
So given I’d tend to look at Active Threads first, the ignore functionality is pretty much useless to me. Gah!