Adding convenience link to PR re-validation option on tools page.