Hide "GitHub Actions" div elements on GitHub pull request page so other comments will not be hidden.
As of 13.12.2023. See ბოლო ვერსია.
These are versions of this script where the code was updated. Show all versions.
