I was going to say that I didn't want javascript on this. But it's actually pretty #neat. It's all tidied up into a single app without any dependencies. This

I was going to say that I didn't want javascript on this. But it's actually pretty #neat. It's all tidied up into a single app without any dependencies. This rocks and, so far, seems way way WAY better than Github's own search tool.