I doubt it will be an issue for the numbers we're talking about (60-ish extensions, X total users). Also, if it were an issue, we could actually generate HTML and store a registry.html over in S3.