Docs: Update .all-contributorsrc [skip ci]

allcontributors[bot] · quentincaffeino · commit ac7212124420 · 2023-01-29T17:00:00.000+01:00
diff --git a/.all-contributorsrc b/.all-contributorsrc
@@ -234,6 +234,15 @@
       "contributions": [
         "code"
       ]
+    },
+    {
+      "login": "PraxTube",
+      "name": "PraxTube",
+      "avatar_url": "https://avatars.githubusercontent.com/u/92249895?v=4",
+      "profile": "https://github.com/PraxTube",
+      "contributions": [
+        "bug"
+      ]
     }
   ],
   "contributorsPerLine": 8,
