use GM_info to capture version number

rthelper.user.js

@@ -11,8 +11,7 @@
 // ==/UserScript==
 
 var info = {};
-info.version = '2.5';
-
+info.version = GM_info.script.version;
 info.domain = 'https://helpdesk.ebi.ac.uk';
 info.path = '';
 // get 'nobody' id from https://helpdesk.ebi.ac.uk/REST/1.0/user/nobody
@@ -853,34 +852,6 @@ function init() {
     }
   })();
 
-/*
-  (function systemsTicket() {
-    if (getUserId() === '') {
-      return;
-    }
-
-    var supportLink = "https://rt.ebi.ac.uk/extserv/Ticket/Create.html?Queue=26&Status=open&Requestors=systems@ebi.ac.uk&Owner=" + getUserId() + "&Focus=Subject";
-
-    // force redirect for systems tickets
-    if (document.location.href === "https://rt.ebi.ac.uk/extserv/Ticket/Create.html?Queue=26") {
-      document.location.href = supportLink;
-    }
-
-    // add quick link for creating systems tickets
-    var container = document.getElementById('topactions');
-    var link = document.createElement('a');
-    link.href = supportLink;
-    link.innerHTML = "Systems ticket";
-    link.title = "Create new systems ticket";
-    link.className = "rthelper-button";
-    if (document.location.href === link.href) {
-      link.className += ' rthelper-active';
-    }
-    container.appendChild(link);
-
-  })();
-*/
-
   (function adminPage() {
     if (document.location.pathname !== info.path + '/rthelper') {
       return;