There is a patch for Opera 9.5 out today:

https://www.theregister.co.uk/2008/07/04/opera_update/


The patch constists mostly of security and performance fixes, though I don't think that the annoying, but bearable "addresses don't move to the top of the list when clicked upon" "feature" was fixed. Oh well...