Click the user’s name, then click the name again on the user card that pops up:
That will bring you the the user’s profile. There you can mute or ignore that forum user:
