While I am not a web developer who knows HTML on a deep level, I would assume that this could require a massive update to the site to change the definition from the old one to the new one. As for how the extent of those updates would take I can't really give a solid answer.
Far as what prompted to make this thread, I won't go into a whole ethos argument, but I will explain it as is.
The user in question has followed me after the fact that I blocked him a second time a little before I was advised to ignore him by support and the admins. Seeing that we're following the old definitions I still receive notifications from him posting on my news posts through my creators profile. It crossed a very personal line for me the moment the user we are talking about decided to bring his problem with me on a post I made concerning an art piece I made about 9/11 which I feel is an escalation of the situation on said user's part, even if it's inadvertent.
The way I look at it, it's bad enough that the user I have a problem with is still attempting to contact me despite my efforts to block him on itch.io. And while I don't feel it would be entirely appropriate to talk about in detail publicly, I will say for the record that the user has attempted to contact me outside of Itch.io on my own wordpress website several times which I am willing to back up if need be. Might not be an issue that itch.io has to deal with since that is some what of a personal matter, but it is related to the ongoing conflict.
I'm choosing to not give any further written response the user in question upon informing him that I would be banning him from future newspost, and I may contact support in regards to that matter since, even though the admins see this as just a case of trolling, is indeed a case of harassment for no justifiable reason other than a unsupervised brat wanting his way and I have a hell of a lot more to say how I see this outside of my concerns with how this whole situation is being handled.
TL;DR Version: Blocking and ignoring this user has been ineffective and I do not want him contacting me any further.
Yes, and I have been banning him from my news posts, I'll see what I can do to disable the comments on those as well as my dev logs.
Right now it's on the back burner of my mind since right now an issue has come up with a project related to Newgrounds that I've been a part of that's a bit more concerning than I want to admit, but that's another story all together.