I haven’t found any hint of it being updated anywhere. I’ll add it to the list.
I’m not sure how frequently the old extensions library updates, or how exactly it works with the new library. I’m guessing it might take a while.
Until it gets properly listed in the libraries, you might submit to Github. If you know how to use it, you can use this thread to request commit access to the repository. It’s not the easiest way for people to browse and get the extensions, but it’s better than nothing.
Of course, it’s also fine if you can find some other place to host the extension. Just let us know the link and make sure it isn’t some kind of shady file sharing site.