open-in-jetbrains-userscript A userscript which shows an "open in jetbrains IDE" button on any github repo