Thanks. I was just trying to figure out a way to index the extensions site when accessed by a plain browser like opera. Best I could come up with is to add yet another filename to each extension when submitted. So something like
z-index-browser-opera
This would group by functionality at the bottom of the page, like an index. If the extension name is in the file, it might be possible to automatically construct a topic page with headings over groups of extensions.