I don't think it's relevant from the POV of the user that this parameter "has been added". The link to the pull request is helpful, but not ideal. The documentation needs to be self-contained, if there's anything relevant in the PR that belongs in the docs, it should be there directly. Otherwise, the link is unnecessary, in my opinion.