How are plugins in the WordPress plugin directory ranked?

When searching the plugin directory on wordpress.org how are the results ranked? It seems the main components are number of downloads and rating, or is there actually a full blown algorithm behind it taking many different statistics into account?

I have searched Google, but all I get are WordPress plugins for SEO instead of information about the way plugins are ranked within the WordPress search.

Finally, what are my options for SEO if I want my plugin to rank highly in wordpress.org?

By default the plugins are ranked by “relevance” and the only people who know how that algorithm is weighted work for wordpress.org (it’s doubtful they are going to let anyone in on it).

Downloads and rating are not the main components, just one of many including keywords, date, and how many beers you buy Otto.

You don’t have any options to rank high outside using the right words to describe and tag your plugin and creating a good plugin that people like.