Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
