There used to be an ignore button that allowed you to ignore forum members who persisted in anti-social behaviour - where has it gone?

---------- Post added at 06:25 PM ---------- Previous post was at 06:16 PM ----------

Never mind, I found it - you have to go to their profile and add them from there...