@Mr Crash: Yeah, the box height thing isn't something we'll probably fix/change at least any time soon since it doesn't prevent people from using the site. The focus issue is for sure what we're trying to fix. You're the first I've heard with any issues in Firefox though - what happens in the latest official version for you? Is it the focus issue like IE9 RC?
@spivonious: Yep, exactly what I saw earlier on IE9 RC.