Yes. I didn't remember that what Firefox for Windows calls "Options", in Firefox for Linux is "Preferences". :-)
Yes. I didn't remember that what Firefox for Windows calls "Options", in Firefox for Linux is "Preferences". :-)