Comment by HNPoints

I'm planning on doing that, but wanted to fix up any bugs that crop up first. In the meantime, as you noted, the un-obfuscated JS file is up on the server for all to see. It's used in the bookmarklet and Firefox plugin directly, and the Chrome, Opera, and Safari extensions use the same file bundled up with minor or no changes.