Small bookmarklet tweaks + dummy JS