Somehow, the navigation bar is still missing. When I check-out the latest source and go for ./autogen.sh ./configure make docs the headlines are there. Were the docs re-created and uploaded to <https://www.opus-codec.org/docs/> after applying that patch?