diff --git a/Documentation.html b/Documentation.html
index 081d9eb7a..e3e08a4bb 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -1360,8 +1360,7 @@ $cfg['PmaAbsoluteUri'] = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://'
Multi-user -
Browsers -
Usage tips -
-Project -
-Syntax coloring
+Project
@@ -2136,6 +2135,14 @@ $cfg['PmaAbsoluteUri'] = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://'
What is the curious symbol ø in the table statistics?
It means "average".
+
+
+ I want to understand some Export options.
+ "Complete inserts" adds the column names on every INSERT command,
+ for better documentation.
+ "Extended inserts" provides a shorter dump file by using only
+ once the INSERT verb and the table name.
+
[phpMyAdmin project]