Bookmarklet works with FF, fixes #651