Remove Downloads title from doc switcher

Author: slefrancois

doc/_static/version_switch.js

@@ -51,11 +51,11 @@
     }
     vswitch.push('</dl>');
 
-    vswitch.push('<dl>');
-    vswitch.push('<dt>Downloads</dt>');
-//     var pdf_url = root_url + current_version + "/libgpuarray.pdf"
-//     vswitch.push('<dd><a href=\"', pdf_url, '\">', 'PDF', '</a></dd>');
-    vswitch.push('</dl>');
+//    vswitch.push('<dl>');
+//    vswitch.push('<dt>Downloads</dt>');
+//    var pdf_url = root_url + current_version + "/libgpuarray.pdf"
+//    vswitch.push('<dd><a href=\"', pdf_url, '\">', 'PDF', '</a></dd>');
+//    vswitch.push('</dl>');
 
     vswitch.push('<dl>');
     vswitch.push('<dt>On GitHub</dt>');