[troyb]

We recently fixed a problem that could cause javascript bookmarklets to stop working. If you continue to have this issue though, please let us know!