Hello, I maintain a few dozen Linux machines with Tor Browser installed by its own users. In order to normalize the Tor Browser maintenance I need to rename the directory that each user assigned to Tor Browser when installing it. Each Tor Browser installed on these machines have months or years of work on their settings and it is not an option to uninstall or simply delete Tor Browser directory to install it again. I would be grateful if you could tell me how to relocate Tor Browser to a new directory or, if that is not possible, how to export all the configuration, including the Firefox, its bookmarks, addons, the addons settings, and Tor settings (torrc and such) and how to import them into a new installation in a new directory. Thank you