diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 43ac532f84..e9848c3503 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -7231,62 +7231,83 @@
-
- If you want to set up your own error reporting server, you
- can obtain the code from the Git repository at
- .
- Instructions on how to set it up are in the README document.
-
+
+
+
+
+
+ Setting Up Your Own Error Reporting Server
+
+
+ If you want to set up your own error reporting server, you
+ can obtain the code from the Git repository at
+ .
+ Instructions on how to set it up are in the README document.
+
+