Auto-pauses videos from redgif on reddit
this script auto pause Redgifs videos. useful when browsing reddit or aggregator sites so as not to have too many videos playing off screen to save on resources.
the 2 constants waitTime and maxAttempts can be editted to fit your specific situation and load times.
