Where has MySQL Proxy gone?

I wanted to download MySQL Proxy 0.72 (the latest stable to my best knowledge) but I found ..

1) This page: http://www.mysql.com/downloads/ does not list MySQL proxy at all.

2) Anyway all versions up to 0.81 are available from FTP mirrors (like ftp://ftp.easynet.be/mysql/Downloads/MySQL-Proxy/) so I was able to get my hands on it.

Accidentially I found shortly after that ..

3) This page: http://dev.mysql.com/downloads/ (only) has 0.81 ALPHA listed.

4) Here http://bugs.mysql.com/bug.php?id=61474 MySQL supporter references a version 0.9 that is nowhere referenced on mysql.com nor dev.mysql.com but seems available from Launchpad.

I don’t understand why stable versions are not available from mysql.com any more.  I think I know/understand  that there were some securtity concerns with pre-0.8x (but they do not affect me with my environment so I am happy with 0.72). In any case I find it very confusing that a GA/stable version is withdrawn once published without even a note about why it happened.  I cannot know of course if this is a deliberate choice or maybe just a mistake by the MySQL web team. But as said: I find it very confusing that a GA version suddenly is not available where it used to be. If it has so serious issues that they/Oracle do not want to distribute it, then http://www.mysql.com/downloads/ should have a note about why it was removed and tell about 0.81/0.9 version(s) download options (from dev …).

I tried to ask about this in the above-mentioned bug report. The supporter here was not in a position to reply (what I understand and accept – and I probably should not have asked there).  But the problem is that I don’t know where else I could ask.

Please tell: was the removal of 0.72 from http://www.mysql.com/downloads/ a deliberate choice (and if so, why?) or a simple mistake (if so, please fix it!). And if there is a 0.9 (development) version that can be considered good enough for ordinary users posting a bug report to test with, then why is it then not available on http://dev.mysql.com ?