: What is a browser extension?