Prettifies bookmarklet a bit.
Removes unnecessary isLoaded attributes.