This issue goes hand in hand with #4 .
If changes have been made, the script should run again and regenerate the libraries. This seems not to be the case at the moment. Even though the script requires the docker container to be running, it will not actually regenerate if the lib already exists.
I have been deleting the .pio directory to force the script to regenerate, but this also re-clones all of the git libraries, which is not ideal for an environment with poor internet connection.
Also good would be a way to manually run the script from CLI, and this could be a satisfactory solution to the above.