Merge pull request #363 from per1234/rename-software-category

Rename "Software" category to "Development Tools"

Author: per1234

.markdown-link-check.json

@@ -33,13 +33,13 @@
       "pattern": "^https://forum\\.arduino\\.cc/c/official-hardware/uno-r4/"
     },
     {
-      "pattern": "^https://forum\\.arduino\\.cc/c/software/cloud/"
+      "pattern": "^https://forum\\.arduino\\.cc/c/development-tools/cloud/"
     },
     {
-      "pattern": "^https://forum\\.arduino\\.cc/c/software/windows-remote-arduino/"
+      "pattern": "^https://forum\\.arduino\\.cc/c/development-tools/windows-remote-arduino/"
     },
     {
-      "pattern": "^https://forum\\.arduino\\.cc/c/software/windows-virtual-shields-for-arduino/"
+      "pattern": "^https://forum\\.arduino\\.cc/c/development-tools/windows-virtual-shields-for-arduino/"
     },
     {
       "pattern": "^https://forum\\.arduino\\.cc/c/staff/"