Right, those look completely sane and safe. I've cleared up everything I wanted now except the Protocols.IPv6 stuff. I don't have strong opinions about it, but I don't think the current location really makes sense. Unfortunately IPv4 stuff is not much help as an example since it's mostly efuns.