Just in case anyone was wondering, the “HA HA HA SOUP” bookmark in those gifs is this bookmarklet:

javascript:var tw = document.createTreeWalker(document.body, NodeFilter.SHOW_TEXT, null);while (tw.nextNode()) tw.currentNode.appendData('HA HA HA SOUP');

document.createTreeWalker is actually pretty great.