So hit www.mysql.net for a mirror of the old site. The documentation is all there. While you're at it, save a copy of the big manual and stick it on your own server. 5 minutes with a decent search and replace algorithm will modify make relative addresses of the links. Saves a lot of time, and leaves MySQL's bandwidth for downloads.
Slashdot Mirror
So hit www.mysql.net for a mirror of the old site. The documentation is all there. While you're at it, save a copy of the big manual and stick it on your own server. 5 minutes with a decent search and replace algorithm will modify make relative addresses of the links. Saves a lot of time, and leaves MySQL's bandwidth for downloads.