@sea: Backup settings Rated 5 out of 5 stars

The settings are stored in the file "menuedit.rdf" in the FF profile folder. Backup the file and copy it back after a new installation. Hope that helps.

Though, a simple export option would be nice, yes.