Well, there seems to be two routes: default - 10.0.0.1 and 10.0.0.1 - link#9 that might be done in one. The default - 10.0.0.1 does not come up without the manually added route. If it looks okay to you, I will probably leave it like that, even if it is supposed to work automatically.