[Phpmyadmin-devel] INSTALL.txt better than INSTALL ?