The script file was renamed to better interact with userscript managers. Users with the bookmarklet would still reference the old file name. I attempted to solve that by using a symlink, but GitHub will not provide the raw content for a symlinked file, which would make the bookmarklet fail.
The script file was renamed to better interact with userscript managers. Users with the bookmarklet would still reference the old file name. I attempted to solve that by using a symlink, but GitHub will not provide the raw content for a symlinked file, which would make the bookmarklet fail.