Multisite Plugin Manager or WPMU Plugin Manager

In Sarah's article about Multisite plugins, she says, "The Multisite Plugin Manager ... Previously known as WPMU Plugin Manager", but both of these plugins are listed in Wordpress.org plugins. I'm at a lost as to which to use. Neither of them seems to be listed in the WPMU Dev Dashboard. Please advise.