bobandrew Sun, 31 May 2020 08:01:58 -0700
~/.mozilla/abrowser/32k3it6h.default/prefs.js
and modify it according to your previous settings.