Has Directory been discontinued?

This is weird – just looking at the Directory plugin but even though I’ve got it installed on my site if I click “Go to plugin homepage” it leads to a 404 on WPMU Dev – what gives?

https://premium.wpmudev.org/project/directory