Fix Redgifs fullscreen after Oct 2025 enshitification / "redesign"
As of 2025-11-05. See the latest version.
