tried to change the top level nav and got a bunch of unrelated changes thonk https://github.com/OpenHands/docs/pull/49