Thanks for picking this up. I have been bugging pg quite a few times to integrate it, but so far he hasn't had time (or interest in doing so). I hope the recurr

Thanks for picking this up. I have been bugging pg quite a few times to integrate it, but so far he hasn't had time (or interest in doing so). I hope the recurring posts on Hacker News will up this in his list of priorities :) Just one remark about the external script: My server is configured to serve the JS file with far future expires header. Once your browser has that file, it won't even ask my server for it, so that shouldn't be a performance hit (actually your script also loads an external script, jQuery, but from a location that does not set the far future expires headers, you should use the ajax.googleapis.com server)