A Google Chrome extension to highlight many strings simultaneously in web pages.