Strange, copying the code via the button worked for me on Firefox dev.

I don't understand the force downloading the whole library? I don't see that it does that. Going to the download page just provides me a way to copy the generated code of my chosen animations to paste wherever I want. I don't see an option to download anything.

Ah, I see now. Download is Chrome only. Regardless, my download only had the chosen animations. It didn't download the whole library for me.