#8957 Keep the semantic diff pages of all pull requests

Closing a pull request, merged or not, deleted its page and broke the links in its comments. No page is deleted now: the cleanup job and the closed trigger are gone.