GitHub 成立 20 周年时该怎么办呢？

GitHub 在成立 10 周年时上线了 https://GitHub.com/ten 页面来庆祝自己的 10 岁生日，由此可知其成立之初是不允许用户注册 ten 这个用户名的。

然而不同于 ten，twenty 这个用户名却被人注册了。

那么问题来了：

GitHub 成立 20 周年时该怎么办呢？

GitHub 为什么没有阻止用户注册 twenty、thirty、forty 等用户名呢？