Bugfix to bookmarklet.html: Always use https: URLs in the bookmarklet so that
-rw-r--r-- 11358 COPYING
-rw-r--r-- 759 README
drwxr-xr-x - docs
drwxr-xr-x - lib
drwxr-xr-x - samples
drwxr-xr-x - src