[phpMyAdmin Developers] Website improvements