thanks for this!! Hope this will solve my main annoyance with Firefox: sometimes I change Linux distro and then I lose all of my firefox settings, ("sync" would be better and keep flags changed by the users, but I don't think that the FF devs bother about it)