Also, regarding ChainId=0 meaning chain-agnostic, that special semantics need to be defined somewhere more broadly. Currently, ChainId=0 is not reserved afaik (but also not practically in use, see EIP-2294: Explicit bound to Chain ID - #18 by xinbenlv)