Bookmarklets created by Vincent Jr.
PageGREP: Search a webpage and have the results displayed at the top of the page.
Installation:
PageGrep: Add
javascript:(function(){document.body.appendChild(document.createElement('script')).src='https://raw.github.com/vincentjr/bookmarklets/master/js/pagegrep.js';})();
as a bookmark.