Adding a basic bookmarklet loader: not yet done