The options dialog changed to a page at some point, and the page has now been redesigned. I would class both of those as pretty big, though most users probably

The options dialog changed to a page at some point, and the page has now been redesigned. I would class both of those as pretty big, though most users probably don't use it.