With the new runtime opera mini 4.2 now quits rather than minimizes when pressing the red button on the 5800.
Really annoing to press the white then the red button. 100% more effort ;)
No really its annoing if one want to get to the home screen in a flash.