diff --git a/docs/GLOBAL.adu b/docs/GLOBAL.adu
index 29eebbfb8..e8419ce97 100644
Binary files a/docs/GLOBAL.adu and b/docs/GLOBAL.adu differ
diff --git a/docs/help.hmx b/docs/help.hmx
index 74e5449f2..1786329c6 100644
Binary files a/docs/help.hmx and b/docs/help.hmx differ