http://tags.library.upenn.edu/project/14180/highlights PennTags Feed http://tags.library.upenn.edu/makerecord/url/6310 http://tags.library.upenn.edu/makerecord/url/6310 A useful extension manager. Mr Tech makes it much easier to manage options on all of your firefox extensions.<br /> http://tags.library.upenn.edu/makerecord/url/6315 http://tags.library.upenn.edu/makerecord/url/6315 Here you can find a Search plugin which you can add to the search box in your browser.<br /> You can search by name (or url), by category, by country or by language and also by any combination of the above.