Hi, I prefer the second. I will feel frustrated when I open the bin folder only to find everything is crowded in it. With the names of the scripts largely alike, searching for a specific one may take more time. And I really don't think some duplicated library matters. We are in 2010s, tens of MBs do not count.
I also think we can use a customizable download link to provide multiple choice for the users so they may choose which extension binaries they want. Thanks Tian Jiang
