Re: [Phpmyadmin-devel] An attempt to unclutter the navigation headers