@leocg I did. Searched for “disable animations”, “stop animations”, and so on. Maybe my choice of terms is wrong. Safari once had an extension called “Safari Stand”, I discovered it by chance, never would have come up with the term “stand” otherwise. Hence my asking.