EDITED WITH UPDATE:
Cannot redistribute any BGP to OSPF, let alone the default route.
I am REALLY losing hair now.
There are 2 border routers. They each face the net and each one runs BGP. Only one of them is operating at one particular time, hence the one that is connected and has the default 0.0.0.0 route via BGP NEEDS to redistribute itself as 0.0.0.0/0 to his friendly neighbours via OSPF on the LAN side....
THIS NEVER WORKS:
routing ospf distribute-default=if-installed-as-type-x
THIS ALWAYS WORKS (but not how I want it to...):
routing ospf distribute-default=always-as-type-x
It was perfect on 2.8.28. It's broken on 2.9.12, 2.9.17 or 2.9.18.
2.9.12 can at least redistribute BGP (but not a default route)
What have I missed? Where are the instructions for routing-test?