Web Highlights is a browser extension that allows users to highlight and take notes on any web page or PDF.