Read this before opening a pull request
Almost every identifier on w3id.org is added by an outside contributor through a pull request. The guide walks through the whole process, from picking a name to getting the change merged.
Creating an identifier