DOC PR means pull request

In response to #1882.