opera-agent.patch

   1 --- etc/opera6rc.orig   2008-10-23 00:47:51.000000000 +0200
   2 +++ etc/opera6rc        2008-10-23 00:48:08.000000000 +0200
   3 @@ -3,3 +3,6 @@
   4  [User Prefs]
   5  Language Files Directory=/usr/share/opera/locale
   6  Force DPI=96
   7 +
   8 +[ISP]
   9 +Id="DISTRO"