Changes in Opera 9.20 Build 8713: - Unneeded scrollbar now gone on adobe.com - Some fraud protection improvements - Made proxy authentication work better - Added Developer console - Usage report only asks 1 in 1000 - Fixes to entering hostname: port in addressbar - Javascript scroll events now fired on mouseweel - Server Expiry header is now respected even if the time exceeds user preference