removing github userscripts for now

These are just problematic, and let's face it, I can make changes much
more effectively now.