WordPress.org hosted plugin does not appear in search results

My plugin has been on the site for about a week: http://wordpress.org/extend/plugins/taglets-feeder/

Thanks for the SVN WordPress.org!

How long does it take to be indexed by the search engine at: http://wordpress.org/extend/plugins/ ? Searching for “Taglets” still gives:

Search for “taglets”

No results found.