Do you think we could get OpenGrok working reliably for plugins.svn.wordpress.org?