Re: firefox bookmarks and highlighting messed up