Changed GitHub API OAuth token used.

Now using one from my account, because having a robot account for this
is overkill.

search/search.js

@@ -1,11 +1,13 @@
-//Uses the github.js API at https://github.com/michael/github.
+// Uses the github.js API at https://github.com/michael/github.
 
-//Globals
+// Globals
 ///////////////////
 
-//The OAuth token is for loot-automaton.
+// The OAuth token was generated by WrinklyNinja with no scope
+// (ie. public read-only). It's used to boost the request rate limit
+// from 60/hour to 5000/hour.
 auth = {
-    token: "1ca3e4455b74f9b00df02b9f4f0eab0294a08928",
+    token: "0c5d156093834990d28bfdbc2db9256f2e2ee352",
     auth: "oauth"
 }
 
@@ -24,7 +26,7 @@ var searchButton = document.getElementById('searchButton');
 var searchBox = document.getElementById('searchBox');
 var resultsDiv = document.getElementById('results');
 
-//Functions
+// Functions
 ///////////////////
 
 function isRegexEntry(name) {
@@ -90,7 +92,7 @@ function onSearchInit(evt) {
     resultsDiv.textContent = "Loading masterlist...\n";
 }
 
-//Startup Code
+// Startup Code
 ///////////////////
 
 /* Fill the drop-down games box with stuff. */