I think clippy does not work on IE. I also see that none of the "clone repo git URL" clippies on github.com work on IE. Is it just me?