If I recall correctly, the chrome user script used to be recommended in the About/FAQ pages somewhere, but I can't find it anymore.
I know that UserScripts must be installed from the Chrome Web Store now, is this why it has been removed?
Are there plans to migrate the script into an extension that can be installed from the web store? I found it very useful when I had it a few months back and it would help code-golf submissions that are posted a little slower.