The /contributor command lists 3 different ways of specifying an additional contributor. Looking at the implementation, specifying a github username will only work if that github account is associated with an openjdk user, but this isn't made clear in the documentation, either on the wiki or the help text of the command. We should clarify this to avoid confusion.