Medium sized improvements to bot-list and task-list

appengine/swarming/elements/res/imp/botlist/bot-list-summary.html

Index: appengine/swarming/elements/res/imp/botlist/bot-list-summary.html
diff --git a/appengine/swarming/elements/res/imp/botlist/bot-list-summary.html b/appengine/swarming/elements/res/imp/botlist/bot-list-summary.html
index 967fe4349d4acd297fab0f399b6237204fa70290..0781d35ca5654a7241fcaf1306f6dbdc943cfa31 100644
--- a/appengine/swarming/elements/res/imp/botlist/bot-list-summary.html
+++ b/appengine/swarming/elements/res/imp/botlist/bot-list-summary.html
@@ -189,18 +189,18 @@
         if (preserveOthers) {
           var fstr = encodeURIComponent(this._getFilterStr(filter));
           if (window.location.href.indexOf(fstr) === -1) {
-            return window.location.href + "&filters=" + fstr;
+            return window.location.href + "&f=" + fstr;
           }
           // The filter is already on the list.
           return undefined;
         }
         var params = {
-          sort: [this.sort],
-          columns: this.columns,
-          verbose: [this.verbose],
+          s: [this.sort],
+          c: this.columns,
+          v: [this.verbose],
         }
         if (filter) {
-          params["filters"] = [this._getFilterStr(filter)];
+          params["f"] = [this._getFilterStr(filter)];
         }
 
         return window.location.href.split('?')[0] + '?' + sk.query.fromParamSet(params);