Changing username without changing web-id
A few times in the past people have asked about changing their username for their account - we're using username automatically in the WebID of the user and normally we respond with an explanation that Cool URIs don't change
It occurred to me that we could update the username without updating the WebID. I don't know if there's a reason why we can't do this, possibly a UX reason that users might find it weird if WebID != username
?