fix: broken link to MIL in pr-review.md#768

PatrickMassot merged 1 commit intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from

SnirBroshi:patch-1SnirBroshi/leanprover-community.github.io:patch-1Copy head branch name to clipboard