The in-browser local search feature apparently works in Firefox as well. If you read the HTML, you don't see anything that looks like a client-side include. Instead, it looks like they're trapping port 80 traffic to Google.com and inserting their own results. I haven't done a more detailed investigation, but I may assign some students to go look at it as a final project for my security course. Let's hear it for student labor.