browser extension that applies user scripts to web pages and provides a user interface to manage them