(#4494)  Document how well (or not) IPv6 works in the 8.3.2 manual.