[ipv6-wg] The Pope gets IPv6 PA space (not PI :)