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?