Developer response

Options are in the add-on bar, which as of mid-2012, Mozilla now hides by default. Type Control-/ to make the add-on bar appear at the bottom of the window. Click on that icon to bring up the options menu. See