You may click the Ignore button to the left of a post to hide all the posts made by that user. FWIW, I had to Google your request. Were you on Usenet back in the day?
Oh, hi, live627! Indeed, I used newsgroups back in the day. Since Eternal September didn't end, I continue to require a killfile feature :-)
Thank you very much for the tip!