"You shouldn't use either Lottie or Rive for static animations."

I guess that depends on your use case. If you only have this animation on your website, then probably no. But if you load and run the rive engine anyway, because you build a game with it - then why not also use it for "static animations", if the result can be way sharper?