[Phpmyadmin-devel] Firefox 4.0

Does anyone use Firefox 4.0? I've got 3.whatever, and prefer not to upgrade yet, but a user reported some trouble with the display under FF4. https://sourceforge.net/projects/phpmyadmin/forums/forum/72909/topic/4482670 Just wondering if anyone can confirm, at the least.