Always add the "hide whitespace" when viewing Github PR diffs
As of 21. 08. 2024. See the latest version.
These are versions of this script where the code was updated. Show all versions.
