socks-extensions: editorial fixes
This branch:
- improves the organization and markdown-friendliness of the socks-extensions document,
- removes some material that has been obsolete for more than 10 years,
- clarifies what's an extension versus what's a spec deviation,
- and makes some of the behavior (about isolation and IP version preference) more explicit.