Thanks, I wasn't aware of this, particularly as the "normal" search engines in Firefox don't sync. I think this is in the works but it's been held up by some kind of issues with their search partner deals.