Added pattern for links in grep-forbidden-words.sh and some description

Please merge main into preview first. This might resolve the current problem with link checking in the pipeline.

doc.zih.tu-dresden.de/util/check-links.sh

@@ -48,10 +48,12 @@ echo ""
 for f in $files; do
   if [ "${f: -3}" == ".md" ]; then
     # do not check links for deleted files
-    if [ -e $f ]; then
-      echo "Checking links for $f"
-      if ! $mlc -q -p "$f"; then
-        any_fails=true
+    if [ "$f" != "doc.zih.tu-dresden.de/README.md" ]; then
+      if [ -e $f ]; then
+        echo "Checking links for $f"
+        if ! $mlc -q -p "$f"; then
+          any_fails=true
+        fi
       fi
     fi
   fi