SeaMonkey 2.39 Bookmarks Manager Search in DE