Multi-DB Plugin Setup on an Existing Stock WPMU Installation

I am planning to use the Multi-DB plugin on an existing WPMU site with several thousand users. The single WPMU database has gotten so large it barely workable.

The instructions are pretty threadbare, with only two steps. Step two points me to a URL that loads the WPMUDev homepage, where I cannot find the tools it says are supposed to be there:

2) Configure db-config.php<br />
Tools: http://db-tools.wpmudev.org/

It was mentioned yesterday that this was in the process of being fixed, but I’ve seen nothing since then. I’m sure I will have other questions once I can use these tools.