Document default ConnectTimeout publicly.

StackExchange.Redis/StackExchange/Redis/ConfigurationOptions.cs

@@ -190,12 +190,12 @@ public CommandMap CommandMap
         public string ConfigurationChannel { get { return configChannel ?? DefaultConfigurationChannel; } set { configChannel = value; } }
 
         /// <summary>
-        /// Specifies the time in milliseconds that should be allowed for connection
+        /// Specifies the time in milliseconds that should be allowed for connection (defaults to 5 seconds unless SyncTimeout is higher)
         /// </summary>
         public int ConnectTimeout {
             get {
                 if (connectTimeout.HasValue) return connectTimeout.GetValueOrDefault();
-                return Math.Max(5000, SyncTimeout); // default of 5 seconds unless SyncTimeout is higher
+                return Math.Max(5000, SyncTimeout);
             }
             set { connectTimeout = value; }
         }