That's what I'm saying, if those animations were inside the plugin it would be great too, if you want to release it as an expansion, or something like that, it would be perfect for us animators.
I already use several Roblox ID animations, both Roblox's own and others, it's very easy to get them, but since they're on the website, it's a process that completely breaks the animation flow.
Because it's necessary to get the ID from the website, bring it into Roblox Studio using a different plugin, then add the animation to the rig and save and convert it, then you can use it.