Thanks for addressing most of my issues. One nit remains:

* Section 4.1
UDP payload is limited to 65527 bytes for UDP/IPv6, but to 65507 for UDP/IPv4. This is due to the IPv4 header limiting the size of the total IPv4 packet to 65535 bytes.