Refine howto

en/contributing/how-to-improve-the-help-page.md

@@ -97,4 +97,5 @@ In case GitBook was fixed, with some command line magic, this could be solved:
 1. Create a script renaming all images: `fd -e png -x bash -c "echo '{}' | sed 's/\([^(]*\)\(.*\).png/mv \"\\1\\2.png\" \"\\1.png\"/' | sed 's/ \.png/.png/'" | sort > fix-filenames.sh`. Execute in `en/.gitbook`. Otherwise, `fd` does not find any file.
 2. Repeat for `gif` instead of `png`.
 3. Create a script doing the renaming in all `.md` files: `fd -e md -x bash -c "echo sed -i '\"s/assets\/\([^%]*\)\(.*\).png/assets\/\\1.png/\"' {}" > fix-mds.sh`. Execute in the root repository.
+   You can also do manually in VSCode using `( \(\d\))+.png` as RegEx.
 4. Repeat for `gif` instead of `png`.