[phpMyAdmin Git] [phpmyadmin/website] 713e10: Revert "Remove dead link"