Ever since the Washington Redskins, er, Washington NFL Team, announced the (correct) decision to change its name to something less offensive, the Internet has been on the hunt for any leads, insider information or hints about what the new name might be. While nobody knows for sure what might come, there’s been speculation about a few leaders in the clubhouse, which prompted some dude to trademark a bunch of different potential options.

Although the guy, Martin McCaulay, has stated plenty of times that he trademarked those names so that they didn’t get into the hands of the wrong people who would charge a fortune for the rights to them — and has said he’ll give any and all of them to the NFL franchise for free — it may not even lead to that. That’s because, according to someone on Reddit, he’s already found the registered domain name that the Redskins apparently just applied for: DCSentinels.com.

Now, this is far from official, obviously, but it’s interesting to see the above paperwork does seem to be the official documents to make such a change. So, who knows, maybe the Redskins will officially announce the unveiling of their new nickname and actually become the DC Sentinels in the next month or so.

Following the revelation of the apparent domain change documents, some people on Twitter had a few reactions to the alleged new nickname of the Redskins. Take a look below at what a few were saying.

While the Sentinels would be a solid choice — as it has a patriotic and/or military tribute, which makes sense given the team’s located in the nation’s capital — there has still been plenty of speculation about other potentially proposed names like the Red Tails, Red Wolves, Red Hawks and Warriors (even though some find it offensive), among others. Those have seemed to be some of the top team nicknames floating around on social media in the past couple weeks, but this DC Sentinels thing appears to have receipts now.

Regardless of what the new team name actually becomes, I think we can all agree it’ll be a helluva lot better than the Washington Redskins, which has been politically incorrect and outdated for the past, oh, 88 years since the franchise was first founded.

**UPDATE**

Although plenty of people have their panties in a bunch over the Redskins’ possibly, maybe filing for a new domain name — which would make them the DC Sentinels — ESPN NFL Nation reporter John Keim was quick AF to shutdown all the speculation. According to Keim, the Sentinels is not the name the Washington NFL Team will be going with.

Welp, assuming Keim knows someone who knows someone who knows something, it looks like the Internet detectives got this thing wrong. Looks like we’re all back on the case again.

(H/T Total Pro Sports)