190
189
gestures, greasemonkey, java-console, livehttpheaders, page-info,
191
190
permissions, push-scroller, rss, sample,
193
smart-bookmarks, soup-fly, tab-groups, tab-states,
192
smart-bookmarks, soup-fly, tab-states,
194
193
as well as the aliases default, all, and really-all],
195
194
[extensions=$with_extensions],