FWIW we talked about this almost 2 years ago but the conversation
stalled or something
https://sudoroom.org/pipermail/sudo-sys/2019-June/thread.html#599
Originally we had two subnets, meaning the router should have at least
3 ethernet ports. Then we lost one of those subnets last year and some
devices (like space.local) are still inaccessible from that. Maybe
it's not necessary?