btw I am sure you know but if there is any harassment there you can ask any admin for help and get it. If the ignore option fixes things for you then great, but never worry about getting admin involved if needed.