diff --git a/src/docs/developer/database.diviner b/src/docs/developer/database.diviner
index d9751d41bf..027bca2db5 100644
--- a/src/docs/developer/database.diviner
+++ b/src/docs/developer/database.diviner
@@ -45,7 +45,9 @@ DarkConsole (see @{article:Using DarkConsole}) and other places.
 The exception is tables which share the same schema over different databases
 such as `edge`.
 
-We use lower-case table names with words separated by underscores.
+We use lower-case table names with words separated by underscores. The reason is
+that MySQL can be configured (with `lower_case_table_names`) to lower-case the
+table names anyway.
 
 = Column Names =
 
@@ -152,7 +154,7 @@ add your patch to @{method@phabricator:PhabricatorBuiltinPatchList::getPatches}.
 # Run `bin/storage/upgrade`.
 
 It is also possible to create more complex patches in PHP for data migration
-(due to schema changes or otherwise.) However, the schema changes themselves 
+(due to schema changes or otherwise.) However, the schema changes themselves
 should be done in separate `.sql` files. Order can be guaranteed by editing
 `src/infrastructure/storage/patch/PhabricatorBuiltinPatchList.php`
 appropriately.