--- seamonkey-1.1.16/mozilla/profile/defaults/bookmarks.html 2008-01-29 20:30:47.000000000 +0100 +++ seamonkey-1.1.16/mozilla/profile/defaults/bookmarks.html-gil 2009-05-28 18:38:52.000000000 +0200 @@ -9,6 +9,7 @@
+