Improved top matter in "Hardening Opportunistic TLS".

Many other minor fixes.