众所周知，假 at 有两种情况：

• 用户名看着像，例如使用俄语字母，这种方法可以通过链接中的 UID 辨别；
• 使用 @[Username](https://www.luogu.com.cn/user/UID)。

而真 at 的超链接中直接是 /user/UID。
所以，可否通过 F12 辨别真假？即，其 html 源码会有什么不同？

例如，真 at 的源码：

<p>
  "@"
  <a href="/user/UID"> Username </a>
</p>

假 at 的源码是否就是：

<p>
  "@"
  <a href="https://www.luogu.com.cn/user/UID"> Username </a>
</p>

是否存在这样的差异？