Hi! There is a network conflict between my local network and my
employer's. I use 10.0.0.0/24 locally, but unfortunately they map the
entire 10.0.0.0/8 range even though in practice my home network doesn't
really conflict with any subrange in the 10....