doc: note default proxy port.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>

doc/lightningd-config.5

@@ -494,7 +494,7 @@ this to \fIfalse\fR disables that\.
 
  \fBproxy\fR=\fIIPADDRESS[:PORT]\fR
 Set a socks proxy to use to connect to Tor nodes (or for all connections
-if \fBalways-use-proxy\fR is set)\.
+if \fBalways-use-proxy\fR is set)\.  The port defaults to 9050 if not specified\.
 
 
  \fBalways-use-proxy\fR=\fIBOOL\fR
@@ -589,4 +589,4 @@ Main web site: \fIhttps://github.com/ElementsProject/lightning\fR
 Note: the modules in the ccan/ directory have their own licenses, but
 the rest of the code is covered by the BSD-style MIT license\.
 
-\" SHA256STAMP:cbff0da6bb2261b0d5e71962567a43f1d7c2576aa3d5733d02190a05c6e67286
+\" SHA256STAMP:d7a79bf79824019fd6cd2e9933f2861798e31a6cda6404886d7e1a33ea15db3d

doc/lightningd-config.5.md

@@ -406,7 +406,7 @@ this to *false* disables that.
 
  **proxy**=*IPADDRESS\[:PORT\]*
 Set a socks proxy to use to connect to Tor nodes (or for all connections
-if **always-use-proxy** is set).
+if **always-use-proxy** is set).  The port defaults to 9050 if not specified.
 
  **always-use-proxy**=*BOOL*
 Always use the **proxy**, even to connect to normal IP addresses (you