Indeed, but I think what people are referring to is that previously if you clicked on a poster's name next to their post (e.g. in the screenshot below I have just clicked on your name), the menu that pops up also used to include a way to add that user directly to one's ignore list.

Also mentioned in this previous thread: Consolidated "'Ignore User' Function - Questions & Experiences" thread