2019-10-13 UTC
# 
[dmitshur] For example, on github.com, it's possible to "rename" an account. Its profile URL changes from "github.com/oldname" to "github.com/newname", and things generally keep working. github.com uses unique numeric IDs for each account, and those can never change.