Pin GitHub actions in external-link-check.yml

[yada]

Pinning GitHub Actions in a workflow is important to ensure consistency and security by specifying exact versions of actions, preventing unexpected changes or vulnerabilities that could arise from automatic updates.

external-link-check.yml needs to be updated accordingly.