The JS implementation of the new Opera 7.20 seems to
be really messy.
The options box of the export page does not change
anymore when the user chooses a different export
format. Because of this, the user can only see the
options for the SQL export as long as he uses JS.
I believe that this has worked with previous Opera