I have come across a few add-ons that are only available through GitHub, for example. So I’m wondering, is there some system to keep them updated automatically, or do I have to manually redownload them every time?