He was just banned so I see no point in muting him. Thank you for your report. This report has been resolved. This thread has been moved to Reports - Archives.