Unfortunately, I do not believe that feature is well-known or easily discoverable.
I also believe that the "report to moderate" feature is significantly underused...
Would it be possible to put an "Ignore this user" option on peoples' posts beside the "report to moderator" function?