Hello, There’s a repo with multiple Arduino libraries in subfolders (e.g., [/c1, /c2, /c3)](url), each with its own library.properties and source files. I’m curious— is it allowed to publish all these libraries together in one ZIP file? Would this cause problems for users installing or updating via Arduino IDE or Library Manager? For example, let the username be a and the main repo name be b. ``` https://github.com/a/b/c1 https://github.com/a/b/c2 https://github.com/a/b/c3 ``` (Provided that the latest version of each is always kept the same) Can we save repostries.txt like this instead of `https://github.com/a/b`? Thank you in advance for your help!