In reality - how many people actually downloaded it from the website, rather than running "{yum/apt-get} install mysql-server"? The documentation is a different issue - probably much more popular than downloads themselves.