A simple Chrome extension for manipulating the DOM