diff --git a/tools/file-processing/fix_instiki_html_dump.sh b/tools/file-processing/fix_instiki_html_dump.sh
new file mode 100644
index 0000000..2df998e
--- /dev/null
+++ b/tools/file-processing/fix_instiki_html_dump.sh
@@ -0,0 +1 @@
+find ./ -name "*.xhtml"  | xargs sed -i.bak -r -e "s/%([0-9A-Z]{2})/%25\\1/g"