If you’d be open for making a PR I’d be happy to review and merge it
PR doesn’t need to be perfect from the beginning, something like what @lurenjiasworld showed would already be a great improvement for navigation. We discussed similar quick wins today in the documentation meeting.