From 6af3484428d3ccea68042ff3c09a65a92c2fd478 Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Fri, 4 Mar 2022 11:59:45 +0300
Subject: [PATCH 1/4] COUNTER_Robots_list.json: add axios

axios is a promise-based HTTP client for the browser and Node.js. It
uses the name and version number for its user-agent by default, ie:

    axios/0.21.1

See: https://github.com/axios/axios
---
 COUNTER_Robots_list.json | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/COUNTER_Robots_list.json b/COUNTER_Robots_list.json
index ee01c5e..0dedfb8 100644
--- a/COUNTER_Robots_list.json
+++ b/COUNTER_Robots_list.json
@@ -120,6 +120,12 @@
     "pattern": "atomz",
     "last_changed": "2017-08-08"
   },
+  {
+    "pattern": "axios\\/\\d",
+    "last_changed": "2022-03-04",
+    "description": "Promise based HTTP client for the browser and Node.js",
+    "url": "https://github.com/axios/axios"
+  },
   {
     "pattern": "BDFetch",
     "last_changed": "2017-08-08"

From d2882da8bba0e21759b756ba5b707a5d541c1bf6 Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Fri, 4 Mar 2022 12:08:31 +0300
Subject: [PATCH 2/4] COUNTER_Robots_list.json: add Faveeo

Seems to be some kind of social media harvesting/insight company.
They use this user-agent:

    Mozilla/5.0 (compatible; Faveeo/1.0; +http://www.faveeo.com)

See: https://www.faveeo.com
---
 COUNTER_Robots_list.json | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/COUNTER_Robots_list.json b/COUNTER_Robots_list.json
index 0dedfb8..e72845d 100644
--- a/COUNTER_Robots_list.json
+++ b/COUNTER_Robots_list.json
@@ -388,6 +388,11 @@
     "pattern": "favorg",
     "last_changed": "2017-08-08"
   },
+  {
+    "pattern": "Faveeo\\/\\d",
+    "last_changed": "2022-03-04",
+    "url": "https://www.faveeo.com"
+  },
   {
     "pattern": "FDM(\\s|\\+)\\d",
     "last_changed": "2017-08-08"

From b94f1bfd44963ed4296ad088ff83e8950c1390cd Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Fri, 4 Mar 2022 12:12:13 +0300
Subject: [PATCH 3/4] COUNTER_Robots_list.json: add ZoteroTranslationServer

This is a Node.js-based server to run Zotero translators. They use
the following user agent:

    ZoteroTranslationServer/WMF (mailto:noc@wikimedia.org)

See: https://github.com/zotero/translation-server
---
 COUNTER_Robots_list.json | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/COUNTER_Robots_list.json b/COUNTER_Robots_list.json
index e72845d..c2b7d93 100644
--- a/COUNTER_Robots_list.json
+++ b/COUNTER_Robots_list.json
@@ -1289,6 +1289,12 @@
     "last_changed": "2021-11-23",
     "url": "https://github.com/zabbix/zabbix"
   },
+  {
+    "pattern": "ZoteroTranslationServer",
+    "last_changed": "2022-03-04",
+    "description": "A Node.js-based server to run Zotero translators",
+    "url": "https://github.com/zotero/translation-server"
+  },
   {
     "pattern": "zeus",
     "last_changed": "2017-08-08"

From cf0f5e3133d1fe9ae0e330fa2b62168f2faa6eba Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Fri, 4 Mar 2022 12:23:53 +0300
Subject: [PATCH 4/4] COUNTER_Robots_list.json: add GroupHigh

This is some kind of content marketing tool that scrapes social me-
dia to rank influencers. It uses a user-agent like this:

    Mozilla/5.0 (compatible; GroupHigh/1.0; +http://www.grouphigh.com/)

See: https://www.grouphigh.com
---
 COUNTER_Robots_list.json | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/COUNTER_Robots_list.json b/COUNTER_Robots_list.json
index c2b7d93..e9cf4c1 100644
--- a/COUNTER_Robots_list.json
+++ b/COUNTER_Robots_list.json
@@ -494,6 +494,12 @@
     "description": "Grammarly/1.0 bot is a web scraping bot used by the writing tool Grammarly. Grammarly allows users to upload written pieces of work and then scrapes the content looking for grammar mistakes. Grammarly makes sure that everything users type is easy to read, effective, and mistake-free.",
     "url": "https://www.distilnetworks.com/bot-directory/bot/grammarly1-0/"
   },
+  {
+    "pattern": "GroupHigh\\/\\d",
+    "last_changed": "2022-03-04",
+    "description": "GroupHigh is an essential content marketing tool",
+    "url": "https://www.grouphigh.com"
+  },
   {
     "pattern": "grub",
     "last_changed": "2017-08-08"