Where has the Directory plugin gone?

Seems to have disappeared from WPMU altogether (even under the “select the plugin this concerns” menu above.