Bugfix to bookmarklet.html: Always use https: URLs in the bookmarklet so that
-rwxr-xr-x 67249 bidichecker_packaged.js
-rw-r--r-- 573 bookmarklet.css
-rw-r--r-- 6375 bookmarklet.html
drwxr-xr-x - gui-app