Re: [address-policy-wg] pointless meta-issue on WG renaming