Fix link to RFC 31's pull request