I'm curious if they looked into pf / CARP as part of their research into allowing horizontal scalability for an ip. See: https://www.openbsd.org/faq/pf/carp.html
pfsync, lvs and etc uses multicast to share connection state which we also wanted to avoid.