Migrate old addrDeFacto to addrs field #922