Ok, I see your point. Then perhaps the solution might be to add another option to the Settings? Right now you can only turn animations on or off. Maybe a second option could be added to indicate how much animation you’d prefer to see: ie, full matches if your device can handle it, or highlights only if not. What do you think?