Index: Doc/Extra/Core/lang.html ================================================================== --- Doc/Extra/Core/lang.html +++ Doc/Extra/Core/lang.html @@ -85,16 +85,15 @@