SocksPort section of man page is mangled

Look at 'man tor' in 0.2.4.20 or master

Right around the "Other recognized flags for a SOCKSPort are:" line things go bad.

Below is a diff that makes it somewhat better for me:

diff --git a/doc/tor.1.txt b/doc/tor.1.txt
index f2960af..1436cec 100644
--- a/doc/tor.1.txt
+++ b/doc/tor.1.txt
@@ -960,6 +960,7 @@ The following options are useful only for clients (that is, 
         another. This option overrides that behavior.) +
 +
     Other recognized _flags_ for a SOCKSPort are:
++
     **NoIPv4Traffic**;;
         Tell exits to not connect to IPv4 addresses in response to SOCKS
         requests on this connection.
@@ -977,6 +978,7 @@ The following options are useful only for clients (that is, 
        unauthenticated, so exposing it in this way could leak your
        information to anybody watching your network, and allow anybody
        to use your computer as an open proxy.
++
     **CacheIPv4DNS**;;
         Tells the client to remember IPv4 DNS answers we receive from exit
         nodes via this connection. (On by default.)

but "flags" is still weird, and also the indenting is still not perfect. Somebody who knows what formatting we actually want should look at this too.