Comment 2 for bug 1837775

for the record, a new phpmyadmin is being worked on at Debian, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916310

Nevertheless, the current version is so old and brittle, that removal from the archives is probably a good idea.