That’s peculiar – I was using the Windows IDE when writing and testing the instructions and they didn’t behave like that as far as I saw. Are you sure you didn’t have the IDE still running when replacing the folder? It only checks the contents on startup and on Install Extension.
99% sure, yes. It’s no biggie. More significant, I think, is the possibility that certain things may not have been in the Public Library that ought to have been. As I noted up-thread, my Spellcasting Extension was not in the github repository – I don’t know why. Again, it’s no biggie, as I have it, but there may be other omissions, and I wouldn’t want to hazard a guess as to why that might be the case.
I used to have a bunch of extensions in the Public Library too, and then didn’t update them for 10 years, and they were silently dropped at some point.
I do only have speculation as to why, but as I said I assume that they were removed after some compiler update broke them or they no longer met some requirement (such as using responses). Or perhaps just that they hadn’t been updated in too long. Probably only the curator of the Public Library knows for sure, but it’s not that important.
I resubmitted most of them to the github, after updating them so they worked in 6M62. One I left dropped, because there was already another extension by someone else that did a better job.