MySQL GUI Tools foi descontinuado ?

Amigos , hoje fui ate o mysql.com, tentei baixar o mysql gui tools e não encontrei mais o link, so encontrei o link do MySQL Workbench, alguem sabe o que rolou, ele foi descontinuado ? caso alguem saiba o link (no mysql.com) por favor me de a dica !!!