I wish they would say that IPv8 is a proper superset of IPv4 and not that IPv4 is a proper subset of IPv8, just because they’re building IPv8 on top of the existing IPv4.